Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing.

Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay

Browse the full SPLC paper archive.