Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Security Design and Validation Research Group (SerVal)
Disciplines :
Ingénierie électrique & électronique
Auteur, co-auteur :
TITCHEU CHEKAM, Thierry ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
PAPADAKIS, Mike ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > Computer Science and Communications Research Unit (CSC)
CORDY, Maxime ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
LE TRAON, Yves ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
Killing Stubborn Mutants with Symbolic Execution
Date de publication/diffusion :
2021
Titre du périodique :
ACM Transactions on Software Engineering and Methodology
ISSN :
1049-331X
Maison d'édition :
Association for Computing Machinery (ACM), Etats-Unis
Volume/Tome :
30
Fascicule/Saison :
2
Pagination :
19:1--19:23
Peer reviewed :
Peer reviewed vérifié par ORBi
Projet FnR :
FNR11686509 - Continuous Development With Mutation Analysis And Testing, 2017 (01/09/2018-31/08/2021) - Michail Papadakis
