Killing Stubborn Mutants with Symbolic Execution

Reference : Killing Stubborn Mutants with Symbolic Execution


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Electrical & electronics engineering
	To cite this reference:	http://hdl.handle.net/10993/44339

Title :	Killing Stubborn Mutants with Symbolic Execution
Language :	English
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) >]
Publication date :	2021
Journal title :	ACM Transactions on Software Engineering and Methodology
Publisher :	Association for Computing Machinery (ACM)
Volume :	30
Issue/season :	2
Pages :	19:1--19:23
Peer reviewed :	Yes
Audience :	International
ISSN :	1049-331X
Country :	United States
Research centres :	Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Security Design and Validation Research Group (SerVal)
Funders :	Fonds National de la Recherche - FnR
Name of the research project :	CODEMATES
Permalink :	http://hdl.handle.net/10993/44339
DOI :	10.1145/3425497
FnR project :	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):

	File	Commentary	Version	Size	Access
Open access	main (3).pdf		Author preprint	1.25 MB	View/Open

All documents in ORBi^lu are protected by a user license.