Existing mutation techniques produce vast numbers of equivalent, trivial, and redundant mutants. Selective mutation strategies aim to reduce the inherent redundancy of full mutation analysis to obtain most of its benefit for a fraction of the cost. Unfortunately, recent research has shown that there is no fixed selective mutation strategy that is effective across a broad range of programs; the utility (i.e., usefulness) of a mutant produced by a given mutation operator varies greatly across programs.
This paper hypothesizes that mutant utility, in terms of equivalence, triviality, and dominance, can be predicted by incorporating context information from the program in which the mutant is embedded. Specifically, this paper (1) explains the intuition behind this hypothesis with a motivational example, (2) proposes an approach for modeling program context using a program’s abstract syntax tree, and (3) proposes and evaluates a series of program-context models for predicting mutant utility. The results for 129 mutation operators show that program context information greatly increases the ability to predict mutant utility. The results further show that it is important to consider program context for individual mutation operators rather than mutation operator groups.
Wed 12 JulDisplayed time zone: Tijuana, Baja California change
13:20 - 15:00 | Fault Localization and Mutation TestingTechnical Papers at Bren 1414 Chair(s): Alex Orso Georgia Institute of Technology | ||
13:20 25mTalk | Boosting Spectrum-Based Fault Localization using PageRank Technical Papers Mengshi Zhang University of Texas at Austin, USA, Xia Li University of Texas at Dallas, USA, Lingming Zhang , Sarfraz Khurshid University of Texas at Austin DOI | ||
13:45 25mTalk | FLUCCS: Using Code and Change Metrics to Improve Fault Localization Technical Papers DOI | ||
14:10 25mTalk | Inferring Mutant Utility from Program Context Technical Papers René Just University of Massachusetts, USA, Bob Kurtz George Mason University, USA, Paul Ammann George Mason University, USA DOI Pre-print | ||
14:35 25mTalk | Faster Mutation Analysis via Equivalence Modulo States Technical Papers Bo Wang Peking University, China, Yingfei Xiong Peking University, Yangqingwei Shi Peking University, Lu Zhang Peking University, Dan Hao Peking University DOI Pre-print |