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

62 Téléchargements (Pure)

1 résultats

Terminé
FEDER-IDEES Co-Innovation: Co-Innovation
HEYMANS, P. (Responsable du Projet)
1/01/15 → 31/12/20
Projet: Recherche