PERROUIN, Gilles ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
PAPADAKIS, Mike ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > Computer Science and Communications Research Unit (CSC)
Legay, Axel
Schobbens, Pierre-Yves
Heymans, Patrick
External co-authors :
yes
Language :
English
Title :
Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
Publication date :
2017
Event name :
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Event date :
from 13-3-2017 to 18-3-2017
Main work title :
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
