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

35 Téléchargements (Pure)

Projets

Actif

FEDER-IDEES Co-Innovation: Co-Innovation

HEYMANS, P.

1/01/15 → 31/12/20

Projet: Recherche