Contract driven development = test driven development - writing test cases. - Andreas Leitner; Ilinca Ciupa; Manuel Oriol; Bertrand Meyer 001; Arno Fiva (ESEC/SIGSOFT FSE, 2007)

Programs That Test Themselves. - Bertrand Meyer 001; Arno Fiva; Ilinca Ciupa; Andreas Leitner; Yi Wei 001; Emmanuel Stapf (Computer, 2009)