@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} }