TY  - JOUR
AU  - Wong, Peter Y. H.
AU  - Bubel, Richard
AU  - Boer, Frank S. de
AU  - Gómez Zamalloa, Miguel
AU  - Gouw, Stijn de
AU  - Hähnle, Reiner
AU  - Meinke, Karl
AU  - Sindhu, Muddassar Azam
PY  - 2015
DO  - 10.1007/s10009-014-0301-x
SN  - 1433-2779
UR  - https://hdl.handle.net/20.500.14352/24413
T2  - International Journal on Software Tools for Technology Transfer
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...
LA  - eng
M2  - 107
PB  - Springer Verlag
TI  - Testing abstract behavioral specifications
TY  - journal article
VL  - 17
ER  -