Model-based mutant equivalence detection using automata language equivalence and simulations

Reference : Model-based mutant equivalence detection using automata language equivalence and simu...


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/37416

Title :	Model-based mutant equivalence detection using automata language equivalence and simulations
Language :	English
Author, co-author :	Devroey, Xavier []
	Perrouin, Gilles []
	Papadakis, Mike [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > Computer Science and Communications Research Unit (CSC) >]
	Legay, Axel []
	Schobbens, Pierre-Yves []
	Heymans, Pattrick []
Publication date :	2018
Journal title :	Journal of Systems and Software
Publisher :	Elsevier
Peer reviewed :	Yes (verified by ORBi^lu)
ISSN :	0164-1212
Country :	Netherlands
Permalink :	http://hdl.handle.net/10993/37416

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	model-based-mutant.pdf		Publisher postprint	625.33 kB	View/Open

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