Article (Scientific journals)
Mitigating the Effects of Equivalent Mutants with Mutant Classification Strategies
Papadakis, Mike; Delamaro, Eduardo Márcio; Le Traon, Yves
2014In Science of Computer Programming, 95, p. 298-319
Peer Reviewed verified by ORBi
 

Files


Full Text
SCP2013.pdf
Author preprint (890.23 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] Mutation Testing has been shown to be a powerful technique in detecting software faults. Despite this advantage, in practice there is a need to deal with the equivalent mutants’ problem. Automatically detecting equivalent mutants is an undecidable problem. Therefore, identifying equivalent mutants is cumbersome since it requires manual analysis, resulting in unbearable testing cost. To overcome this difficulty, researchers suggested the use of mutant classification, an approach that aims at isolating equivalent mutants automatically. From this perspective, the present paper establishes and empirically assesses possible mutant classification strategies. A conducted study reveals that mutant classification isolates equivalent mutants effectively when low quality test suites are used. However, it turns out that as the test suites evolve, the benefit of this practice is reduced. Thus, mutant classification is only fruitful in improving test suites of low quality and only up to a certain limit. To this end, empirical results show that the proposed strategies provide a cost-effective solution when they consider a small number of live mutants, i.e., 10-12. At this point they kill 92% of all the killable mutants.
Disciplines :
Computer science
Author, co-author :
Papadakis, Mike ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Delamaro, Eduardo Márcio
Le Traon, Yves ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Mitigating the Effects of Equivalent Mutants with Mutant Classification Strategies
Publication date :
December 2014
Journal title :
Science of Computer Programming
ISSN :
0167-6423
Publisher :
Elsevier Science
Volume :
95
Pages :
298-319
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBilu :
since 24 May 2014

Statistics


Number of views
147 (15 by Unilu)
Number of downloads
85 (2 by Unilu)

Scopus citations®
 
37
Scopus citations®
without self-citations
29
OpenCitations
 
28
WoS citations
 
32

Bibliography


Similar publications



Contact ORBilu