@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}, urltopdf = {/old/people/ciupa/papers/hicss07.pdf} }