@INPROCEEDINGS{Leitner2007,
  author = {Andreas Leitner and Ilinca Ciupa and Bertrand Meyer and Mark Howard},
  title = {Reconciling Manual and Automated Testing: the AutoTest Experience},
  booktitle = {Proceedings of the 40th Hawaii International Conference on System
	Sciences - 2007, Software Technology},
  year = {2007},
  month = {January 3-6},
}