Reference : Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An ...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/29778
Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
English
Devroey, Xavier []
Perrouin, Gilles [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Papadakis, Mike mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Legay, Axel []
Schobbens, Pierre-Yves []
Heymans, Patrick []
2017
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Yes
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
from 13-3-2017 to 18-3-2017
http://hdl.handle.net/10993/29778

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
ICST2017-final.pdfPublisher postprint128.25 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.