@INPROCEEDINGS{meyer2007, author = {Bertrand Meyer and Ilinca Ciupa and Andreas Leitner and Lisa (Ling) Liu}, title = {Automatic Testing of Object-Oriented Software}, booktitle = {Proceedings of SOFSEM 2007 (Current Trends in Theory and Practice of Computer Science)}, year = {2007}, editor = {Jan van Leeuwen}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, }