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

Résultats de recherche: Contribution à un journal/une revueArticle

35 Téléchargements (Pure)

Projets

Actif

FEDER-IDEES Co-Innovation: Co-Innovation

HEYMANS, P.

1/01/1531/12/20

Projet: Recherche