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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

45 Downloads (Pure)

Search results