Reference : Killing Stubborn Mutants with Symbolic Execution
Scientific journals : Article
Engineering, computing & technology : Electrical & electronics engineering
http://hdl.handle.net/10993/44339
Killing Stubborn Mutants with Symbolic Execution
English
Titcheu Chekam, Thierry mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Papadakis, Mike mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > Computer Science and Communications Research Unit (CSC) >]
Cordy, Maxime mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Le Traon, Yves mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > Computer Science and Communications Research Unit (CSC) >]
In press
ACM Transactions on Software Engineering and Methodology
Association for Computing Machinery (ACM)
Yes
1049-331X
United States
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Security Design and Validation Research Group (SerVal)
Fonds National de la Recherche - FnR
CODEMATES
http://hdl.handle.net/10993/44339
FnR ; FNR11686509 > Michail Papadakis > CODEMATES > COntinuous DEvelopment with Mutation Analysis and TESting > 01/09/2018 > 31/08/2021 > 2017

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
main (3).pdfAuthor preprint1.25 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.