Model-based mutant equivalence detection using automata language equivalence and simulations

Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans

Research output: Contribution to journalArticleScientificpeer-review

6 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Model-based mutant equivalence detection using automata language equivalence and simulations'. Together they form a unique fingerprint.

Engineering & Materials Science