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