Testing abstract behavioral specifications

Peter Y. H. Wong, Richard Bubel, Frank S. de Boer, Miguel Gómez-Zamalloa, Stijn de Gouw, Reiner Hähnle, Karl Meinke, Muddassar Azam Sindhu

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Web of Science)
Original languageEnglish
Pages (from-to)107-119
Number of pages13
JournalInternational Journal on Software Tools for Technology Transfer
Issue number1
Publication statusPublished - 2015
Externally publishedYes


Dive into the research topics of 'Testing abstract behavioral specifications'. Together they form a unique fingerprint.

Cite this