Yao, X;
Harman, M;
Jia, Y;
(2014)
A Study of Equivalent and Stubborn Mutation Operators using Human Analysis of Equivalence.
In: Jalote, P and Briand, L and Van der Hoek, A, (eds.)
ICSE 2014: Proceedings of the 36th International Conference on Software Engineering.
(pp. pp. 919-930).
Association for Computer Machinery (ACM): New York, USA.
Preview |
Text
icse14-xy.pdf - Published Version Download (596kB) | Preview |
Abstract
Though mutation testing has been widely studied for more than thirty years, the prevalence and properties of equivalent mutants remain largely unknown. We report on the causes and prevalence of equivalent mutants and their relationship to stubborn mutants (those that remain undetected by a high quality test suite, yet are non-equivalent). Our results, based on manual analysis of 1,230 mutants from 18 programs, reveal a highly uneven distribution of equivalence and stubbornness. For example, the ABS class and half UOI class generate many equivalent and almost no stubborn mutants, while the LCR class generates many stubborn and few equivalent mutants. We conclude that previous test effectiveness studies based on fault seeding could be skewed, while developers of mutation testing tools should prioritise those operators that we found generate disproportionately many stubborn (and few equivalent) mutants.
Type: | Proceedings paper |
---|---|
Title: | A Study of Equivalent and Stubborn Mutation Operators using Human Analysis of Equivalence |
Event: | ICSE 2014: 36th International Conference on Software Engineering (ICSE), 31 May - 7 June 2014, Hyderabad, India |
Location: | Hyderabad, INDIA |
Dates: | 31 May 2014 - 07 June 2015 |
ISBN-13: | 9781450327565 |
Open access status: | An open access version is available from UCL Discovery |
DOI: | 10.1145/2568225.2568265 |
Publisher version: | http://dx.doi.org/10.1145/2568225.2568265 |
Language: | English |
Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
Keywords: | Mutation Testing, Equivalent Mutant, Stubborn Mutant |
UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
URI: | https://discovery.ucl.ac.uk/id/eprint/1508140 |
Archive Staff Only
View Item |