Faster Mutation Analysis via Equivalence Modulo States

@inproceedings{ISSTA17,
  author = {Bo Wang and Yingfei Xiong and Yangqingwei Shi and Lu Zhang and Dan Hao},
  site_author_id_1 = {WangBo},
  title = {Faster Mutation Analysis via Equivalence Modulo States},
  year = {2017},
  month = {7},
  booktitle = {ISSTA'17: International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, pages 295-306},
  site_corr = {2},
  site_award_en = {ACM SIGSOFT Distinguished Paper Award},
  site_award_zh = {ACM SIGSOFT杰出论文奖},
  site_slides = {papers/ISSTA17-slides.pdf},
  site_links_json = {[{"caption":{"en":"CoRR Version"},"url":{"en":"https://arxiv.org/abs/1702.06689"}}]}
}