@inproceedings{,
  author = {Ciupa, I., Leitner, A.},
  title = {Automatic Testing Based on Design by Contract},
  booktitle = {Proceedings of Net.ObjectDays 2005 (6th
	 Annual International Conference on Object-Oriented and Internet-based
	 Technologies, Concepts, and Applications for a Networked World)},
  year = {2005},
  pages = {545-557},
  month = {September 19-22},
}