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