@INPROCEEDINGS{Leitner2007a, author = {A. Leitner and M. Oriol and A. Zeller and I. Ciupa and B. Meyer}, title = {Efficient Unit Test Case Minimization}, booktitle = {Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)}, year = {2007}, month = {November}, }