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)

Fingerprint

Dive into the research topics of 'Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation'. Together they form a unique fingerprint.

Keyphrases

INIS

Computer Science