UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Trivial compiler equivalence: A large scale empirical study of a simple, fast and effective equivalent mutant detection technique

Papadakis, M; Jia, Y; Harman, M; Le Traon, Y; (2015) Trivial compiler equivalence: A large scale empirical study of a simple, fast and effective equivalent mutant detection technique. In: Bertolino, A and Canfora, G and Elbaum, E, (eds.) Proceedings of 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. (pp. pp. 936-946). IEEE: Florence, Italy. Green open access

[thumbnail of Jia_Trivial_Compiler_mutation-testing-papadakis-icse15.pdf]
Preview
Text
Jia_Trivial_Compiler_mutation-testing-papadakis-icse15.pdf - Accepted version

Download (216kB) | Preview

Abstract

Identifying equivalent mutants remains the largest impediment to the widespread uptake of mutation testing. Despite being researched for more than three decades, the problem remains. We propose Trivial Compiler Equivalence (TCE) a technique that exploits the use of readily available compiler technology to address this long-standing challenge. TCE is directly applicable to real-world programs and can imbue existing tools with the ability to detect equivalent mutants and a special form of useless mutants called duplicated mutants. We present a thorough empirical study using 6 large open source programs, several orders of magnitude larger than those used in previous work, and 18 benchmark programs with hand-analysis equivalent mutants. Our results reveal that, on large real-world programs, TCE can discard more than 7% and 21% of all the mutants as being equivalent and duplicated mutants respectively. A human- based equivalence verification reveals that TCE has the ability to detect approximately 30% of all the existing equivalent mutants.

Type: Proceedings paper
Title: Trivial compiler equivalence: A large scale empirical study of a simple, fast and effective equivalent mutant detection technique
Event: 37th IEEE International Conference on Software Engineering
ISBN-13: 9781479919345
Open access status: An open access version is available from UCL Discovery
DOI: 10.1109/ICSE.2015.103
Publisher version: http://dx.doi.org/10.1109/ICSE.2015.103
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: Optimization, java, scalability, benchmark testing, syntactics.
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/1499169
Downloads since deposit
166Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item