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