MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL.

Jaime Cuartas, Jess Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens

Browse the full ICST paper archive.