Killing strategies for model-based mutation testing (pages 716–748)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick and Stefan Tiran
Article first published online: 3 FEB 2014 | DOI: 10.1002/stvr.1522
This paper presents a model-based test case generation approach that automatically derives test cases from UML state machines. The technique is based on the mutation analysis of test models. In the two case studies, different fault-based test case generation strategies are compared.