TY  - RPRT
TI  - Faster Mutation Analysis via Equivalence Modulo States
AU  - Bo Wang
AU  - Yingfei Xiong
AU  - Yangqingwei Shi
AU  - Lu Zhang
AU  - Dan Hao
PY  - 2017
UR  - https://arxiv.org/abs/1702.06689
ID  - 1702.06689
ER  -