Model-based mutant equivalence detection using automata language equivalence and simulations

Publication
Journal of Systems and Software