Inproceedings,

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

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews