Article (Scientific journals)
Model-based mutant equivalence detection using automata language equivalence and simulations
Devroey, Xavier; Perrouin, Gilles; PAPADAKIS, Mike et al.
2018In Journal of Systems and Software
Peer Reviewed verified by ORBi
 

Files


Full Text
model-based-mutant.pdf
Publisher postprint (640.34 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
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
External co-authors :
no
Language :
English
Title :
Model-based mutant equivalence detection using automata language equivalence and simulations
Publication date :
2018
Journal title :
Journal of Systems and Software
ISSN :
0164-1212
eISSN :
1873-1228
Publisher :
Elsevier, Netherlands
Peer reviewed :
Peer Reviewed verified by ORBi
Focus Area :
Security, Reliability and Trust
Available on ORBilu :
since 23 November 2018

Statistics


Number of views
71 (2 by Unilu)
Number of downloads
279 (3 by Unilu)

Scopus citations®
 
9
Scopus citations®
without self-citations
7
OpenCitations
 
5
WoS citations
 
6

Bibliography


Similar publications



Contact ORBilu