@Inproceedings{LCOBF:07:CDDTDDWTC,
  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)},
  month =        {September},
  year =         {2007},
}