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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Projects

Finished

EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems

Lorber, F. L., Tiran, S. & Aichernig, B.

1/11/1131/10/14

Project: Research project