Article (Scientific journals)
Killing Stubborn Mutants with Symbolic Execution
Titcheu Chekam, Thierry; Papadakis, Mike; Cordy, Maxime et al.
2021In ACM Transactions on Software Engineering and Methodology, 30 (2), p. 19:1--19:23
Peer Reviewed verified by ORBi
 

Files


Full Text
main (3).pdf
Author preprint (1.28 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Security Design and Validation Research Group (SerVal)
Disciplines :
Electrical & electronics engineering
Author, co-author :
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)
External co-authors :
no
Language :
English
Title :
Killing Stubborn Mutants with Symbolic Execution
Publication date :
2021
Journal title :
ACM Transactions on Software Engineering and Methodology
ISSN :
1049-331X
Publisher :
Association for Computing Machinery (ACM), United States
Volume :
30
Issue :
2
Pages :
19:1--19:23
Peer reviewed :
Peer Reviewed verified by ORBi
FnR Project :
FNR11686509 - Continuous Development With Mutation Analysis And Testing, 2017 (01/09/2018-31/08/2021) - Michail Papadakis
Name of the research project :
CODEMATES
Funders :
FNR - Fonds National de la Recherche [LU]
Available on ORBilu :
since 24 September 2020

Statistics


Number of views
354 (26 by Unilu)
Number of downloads
301 (40 by Unilu)

Scopus citations®
 
13
Scopus citations®
without self-citations
11
OpenCitations
 
6
WoS citations
 
12

Bibliography


Similar publications



Contact ORBilu