@inproceedings{alipour2016evaluating,
  title={Evaluating Non-Adequate Test-Case Reduction},
  author={Alipour, Amin and Shi, August and Gopinath, Rahul and Marinov, Darko and Groce Alex},
  booktitle={IEEE/ACM International Conference on Automated Software Engineering},
  year={2016},
  organization={IEEE}
}