Faster mutation analysis via equivalence modulo states.

Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao

Browse the full ISSTA paper archive.