Detecting Trivial Mutant Equivalences via Compiler Optimisations

Reference : Detecting Trivial Mutant Equivalences via Compiler Optimisations


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/31623

Title :	Detecting Trivial Mutant Equivalences via Compiler Optimisations
Language :	English
Author, co-author :	Kintis, Marinos [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) >]
	Jia, Yue [University College London - UCL > Department of Computer Science]
	Malevris, Nicos [Athens University of Economics and Business - AUEB > Department of Informatics]
	Le Traon, Yves [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Harman, Mark [University College London - UCL > Department of Computer Science]
Publication date :	20-Mar-2017
Journal title :	IEEE Transactions on Software Engineering
Publisher :	Institute of Electrical and Electronics Engineers
Peer reviewed :	Yes (verified by ORBi^lu)
ISSN :	0098-5589
City :	New York
Country :	NY
Permalink :	http://hdl.handle.net/10993/31623
DOI :	10.1109/TSE.2017.2684805
Other URL :	http://pages.cs.aueb.gr/~kintism/papers/tce/index.html

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	07882714.pdf		Publisher postprint	1.61 MB	View/Open

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