RT Journal Article
T1 Testing abstract behavioral specifications
A1 Wong, Peter Y. H.
A1 Bubel, Richard
A1 Boer, Frank S. de
A1 Gómez Zamalloa, Miguel
A1 Gouw, Stijn de
A1 Hähnle, Reiner
A1 Meinke, Karl
A1 Sindhu, Muddassar Azam
AB We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduction of subtle bugs that are hard to detect in the presence of  steady adaptation. While static analysis techniques are available for an abstract language such as ABS, testing is still indispensable and complements analytic methods. We focus on fully automated testing techniques including blackbox and glassbox test generation as well as runtime assertion checking, which are shown to be effective in an industrial setting.
PB Springer Verlag
SN 1433-2779
YR 2015
FD 2015-02
LK https://hdl.handle.net/20.500.14352/24413
UL https://hdl.handle.net/20.500.14352/24413
LA eng
NO Unión Europea. FP7
DS Docta Complutense
RD 1 ene 2026