@misc{indiciae50d6254fa9e5,
  title = {Faster Mutation Analysis via Equivalence Modulo States},
  author = {Bo Wang and Yingfei Xiong and Yangqingwei Shi and Lu Zhang and Dan Hao},
  year = {2017},
  url = {https://arxiv.org/abs/1702.06689},
  note = {Source identifier: 1702.06689}
}