Publications

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

Informations générales

étatPublié
organisationsNamur Digital Institute, Research Center on Information Systems Engineering, Faculté d'informatique, Namur Research Institute for Life Sciences, Research group on the foundations of computer sciences, Delft University of Technology, University of Luxembourg, Luxembourg, INRIA Rennes Bretagne Atlantique
AuteursDevroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P., Heymans, P.
Nombre de pages15
Pages1-15
Date de publication1 juil. 2018
Révision par des pairs?Oui

Informations de publication

journalJournal of Systems and Software
Volume141
ISSN (imprimé)0164-1212
langue originaleAnglais
Les domaines scientifiques ASJClogiciel, Les systèmes d'information, Matériel et architecture
Les versions électroniques
Les DOIs
URLs

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