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

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

Fingerprint

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

Cite this