@inproceedings{leitnerreconcile,
  author = {Leitner, A. and Ciupa, I. and Meyer, B. and Howard, M.},
  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},
}