Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao. Faster mutation analysis via equivalence modulo states. In Tevfik Bultan, Koushik Sen, editors, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017. pages 295-306, ACM, 2017. [doi]
Abstract is missing.