Faster mutation analysis via equivalence modulo states
Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao · 2017
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.