@article{offutt1997automatically,
  author={Offutt, A.J. and Pan, J.},
  title={Automatically detecting equivalent mutants and infeasible paths},
  journal={Software Testing, Verification and Reliability},
  year={1997},
  volume={7},
  number={3},
  pages={165--192}
}