Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

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

Namur Digital Institute
Research Group on the Foundations of Computer Sciences
Research Center on Information Systems Engineering
Faculte d'informatique

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

45 Téléchargements (Pure)

1 résultats
- Titre
- Date de début(par ordre croissant)

10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Devroey, X. (Conférencier)
13 mars 2017 → 18 mars 2017
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

Activités

Résultats de recherche

10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)