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

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

Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

51 Téléchargements (Pure)

0 résultats

Filtrer