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, Pattrick
External co-authors :
no
Language :
English
Title :
Model-based mutant equivalence detection using automata language equivalence and simulations
