@dblp

Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation.

, , , , , and . ICST, page 424-429. IEEE Computer Society, (2017)

Links and resources

Tags