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

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

48 Downloads (Pure)
Filter
Participation in conference

Search results