@INPROCEEDINGS{Leitner2007c,
  author = {Andreas Leitner and Ilinca Ciupa and Manuel Oriol and Bertrand Meyer
	and Arnaud Fiva},
  title = {Contract Driven Development = Test Driven Development - Writing Test-Cases},
  booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
	Conference and the ACM SIGSOFT Symposium on the Foundations of Software
	Engineering (ESEC/FSE 2007)},
  year = {2007},
  month = {September},
}