Mutation‐inspired symbolic execution for software testing


Software testing is a complex and costly stage during the software development lifecycle. Nowadays, there is a wide variety of solutions to reduce testing costs and improve test quality. Focussing on test case generation, Dynamic Symbolic Execution (DSE) is used to generate tests with good structural coverage. Regarding test suite evaluation, Mutation Testing (MT) assesses the detection capability of the test cases by introducing minor localised changes that resemble real faults. DSE is however known to produce tests that do not have good mutation detection capabilities: in this paper, the authors set out to solve this by combining DSE and MT into a new family of approaches that the authors call Mutation‐Inspired Symbolic Execution (MISE). First, this known result on a set of open source programs is confirmed: DSE by itself is not good at killing mutants, detecting only 59.9% out of all mutants. The authors show that a direct combination of DSE and MT (naive MISE) can produce better results, detecting up to 16% more mutants depending on the programme, though at a high computational cost. To reduce these costs, the authors set out a roadmap for more efficient versions of MISE, gaining its advantages while avoiding a large part of its additional costs.

Publication DOI:
Divisions: College of Engineering & Physical Sciences > Systems analytics research institute (SARI)
College of Engineering & Physical Sciences
Additional Information: © 2022 The Authors. IET Software published by John Wiley & Sons Ltd on behalf of The Institution of Engineering and Technology. This is an open access article under the terms of the Creative Commons Attribution-NonCommercial License, which permits use, distribution and reproduction in any medium, provided the original work is properly cited and is not used for commercial purposes. Funding: European Commission (FEDER) and the Spanish Ministry of Science and Innovation. Grant Numbers: RED2018-102472-T, RTI2018-093608-BC33
Publication ISSN: 1462-5970
Last Modified: 25 Jul 2024 07:10
Date Deposited: 20 Jun 2022 10:13
Full Text Link:
Related URLs: https://ietrese ... 1049/sfw2.12063 (Publisher URL)
http://www.scop ... tnerID=8YFLogxK (Scopus URL)
PURE Output Type: Article
Published Date: 2022-10
Published Online Date: 2022-06-17
Accepted Date: 2022-05-19
Submitted Date: 2021-09-17
Authors: Valle‐Gómez, Kevin J.
García‐Domínguez, Antonio (ORCID Profile 0000-0002-4744-9150)
Delgado‐Pérez, Pedro
Medina‐Bulo, Inmaculada


Export / Share Citation


Additional statistics for this record