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