Publications

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

Informations générales

étatPublié
organisationsFaculté d'informatique, Research Center on Information Systems Engineering, Research group on the foundations of computer sciences, Namur Digital Institute, University of Luxembourg, Luxembourg, INRIA Rennes Bretagne Atlantique
AuteursDevroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P., Heymans, P.
Nombre de pages6
Pages424-429
Date de publication13 mars 2017

Informations sur la publication d'accueil

titreProceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
Lieu de publicationTokyo, Japan
EditeurIEEE
Le numéro d'article7927996
ISBN (Electronique)9781509060313

Série de publications

NomICST '17
EditeurIEEE
Les domaines scientifiques ASJClogiciel, Sécurité, des risques, de la fiabilité et de la qualité
Les versions électroniques
Les DOIs
URLs

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