Reference : Employing second-order mutation for isolating first-order equivalent mutants
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/16832
Employing second-order mutation for isolating first-order equivalent mutants
English
Kintis, Marinos []
Papadakis, Mike mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Malevris, Nicos []
2015
Software Testing, Verification & Reliability
John Wiley & Sons
25
5-7
508-535
Yes (verified by ORBilu)
0960-0833
1099-1689
[en] The equivalent mutant problem is a major hindrance to mutation testing. Being undecidable in general, it is only susceptible to partial solutions. In this paper, mutant classification is utilised for isolating likely to be first-order equivalent mutants. A new classification technique, Isolating Equivalent Mutants (I-EQM), is introduced and empirically investigated. The proposed approach employs a dynamic execution scheme that integrates the impact on the program execution of first-order mutants with the impact on the output of second-order mutants. An experimental study, conducted using two independently created sets of manually classified mutants selected from real-world programs revalidates previously published results and provides evidence for the effectiveness of the proposed technique. Overall, the study shows that I-EQM substantially improves previous methods by retrieving a considerably higher number of killable mutants, thus, amplifying the quality of the testing process.
http://hdl.handle.net/10993/16832

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
10.1002-stvr.1529.pdfAuthor postprint2.35 MBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.