Statistics of Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

Contact ORBilu