Andreas Leitner Ilinca Ciupa Manuel Oriol Bertrand Meyer Arno Fiva Contract driven development = test driven development - writing test cases. 425-434 2007 conf/sigsoft/2007 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1287624.1287685 db/conf/sigsoft/fse2007.html#LeitnerCOMF07