Model-based mutation testing of reactive systems - from semantics to automated test-case generation

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Theories of Programming and Formal Methods
Publisher	.
Pages	23-36
Publication status	Published - 2013

Fields of Expertise

EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Lorber, F. L. (Co-Investigator (CoI)), Tiran, S. (Co-Investigator (CoI)) & Aichernig, B. (Principal Investigator (PI))
1/11/11 → 31/12/13
Project: Research project
TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation
Jöbstl, E. (Co-Investigator (CoI)) & Aichernig, B. (Principal Investigator (PI))
1/03/11 → 28/02/14
Project: Research project