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

Mutation Testing of Memory-Related Operators

Nanavati, J; Wu, F; Harman, M; Jia, Y; Krinke, J; (2015) Mutation Testing of Memory-Related Operators. In: Papadakis, M and Lucio, L and Perrouin, G, (eds.) Proceedings of 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE: Graz, Austria. Green open access

[thumbnail of Jia_Mutation_Testing.2015.pdf]
Preview
Text
Jia_Mutation_Testing.2015.pdf - Accepted version

Download (634kB) | Preview

Abstract

Though mutation operators have been designed for a wide range of programming languages in the last three decades, only a few operators are able to simulate memory faults. This paper introduces 9 Memory Mutation Operators targeting common memory faults. We report the results of an empirical study using 16 open source programs, which come with well designed unit test suites. We find only 44% of the new memory mutants introduced are captured by the traditional strong mutation killing criterion. We thus further introduce two new killing criteria, the Memory Fault Detection and the Control Flow Deviation killing criteria to augment the traditional strong mutation testing criterion. Our results show that the two new killing criteria are more effective at detecting memory mutants, killing between 10% and 75% of those mutants left unkilled by the traditional criterion.

Type: Proceedings paper
Title: Mutation Testing of Memory-Related Operators
Event: 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Location: Graz, AUSTRIA
Dates: 13 April 2015 - 17 April 2015
ISBN-13: 9781479918867
Open access status: An open access version is available from UCL Discovery
DOI: 10.1109/ICSTW.2015.7107449
Publisher version: http://dx.doi.org/10.1109/ICSTW.2015.7107449
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: Science & Technology, Technology, Computer Science, Software Engineering, Computer Science, Theory & Methods, Computer Science
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/1487105
Downloads since deposit
110Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item