Grupo Alarcos · Conference paper · 2013
Automated test generation for multi-state systems
Pedro Reales Mateo, Macario Polo Usaola
This paper describes a genetic algorithm based on mutation testing to generate test cases for classes with multiple states. The fitness function is based on the coverability and the killability of the individuals. The paper includes a small empirical section that shows evidences of the ability of the algorithm to generate good test cases.