Write a Blog >>
Wed 12 Jul 2017 14:35 - 15:00 at Bren 1414 - Fault Localization and Mutation Testing Chair(s): Alex Orso

Mutation analysis has many applications, such as asserting the quality of test suites and localizing faults. One important bottleneck of mutation analysis is scalability. The latest work explores the possibility of reducing the redundant execution via split-stream execution. However, split-stream execution is only able to remove redundant execution before the first mutated statement. In this paper we try to also reduce some of the redundant execution after the execution of the first mutated statement. We observe that, although many mutated statements are not equivalent, the execution result of those mutated statements may still be equivalent to the result of the original statement. In other words, the statements are equivalent modulo the current state. In this paper we propose a fast mutation analysis approach, AccMut. AccMut automatically detects the equivalence modulo states among a statement and its mutations, then groups the statements into equivalence classes modulo states, and uses only one process to represent each class. In this way, we can significantly reduce the number of split processes. Our experiments show that our approach can further accelerate mutation analysis on top of split-stream execution with a speedup of 2.56x on average.

Conference Day
Wed 12 Jul

Displayed time zone: Tijuana, Baja California change

13:20 - 15:00
Fault Localization and Mutation TestingTechnical Papers at Bren 1414
Chair(s): Alex OrsoGeorgia Institute of Technology
13:20
25m
Talk
Boosting Spectrum-Based Fault Localization using PageRank
Technical Papers
Mengshi ZhangUniversity of Texas at Austin, USA, Xia LiUniversity of Texas at Dallas, USA, Lingming Zhang, Sarfraz KhurshidUniversity of Texas at Austin
DOI
13:45
25m
Talk
FLUCCS: Using Code and Change Metrics to Improve Fault Localization
Technical Papers
Jeongju SohnKAIST, South Korea, Shin YooKorea Advanced Institute of Science and Technology
DOI
14:10
25m
Talk
Inferring Mutant Utility from Program Context
Technical Papers
René JustUniversity of Massachusetts, USA, Bob KurtzGeorge Mason University, USA, Paul AmmannGeorge Mason University, USA
DOI Pre-print
14:35
25m
Talk
Faster Mutation Analysis via Equivalence Modulo States
Technical Papers
Bo WangPeking University, China, Yingfei XiongPeking University, Yangqingwei ShiPeking University, Lu ZhangPeking University, Dan HaoPeking University
DOI Pre-print