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


Full Text
Author preprint (890.23 kB)

All documents in ORBilu are protected by a user license.

Send to


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 :
Language :
Title :
Mitigating the Effects of Equivalent Mutants with Mutant Classification Strategies
Publication date :
December 2014
Journal title :
Science of Computer Programming
Publisher :
Elsevier Science
Volume :
Pages :
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBilu :
since 24 May 2014


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

Scopus citations®
Scopus citations®
without self-citations
WoS citations


Similar publications

Contact ORBilu