| |
| * | 2009 | |
|---|---|---|
| 1 | EE | Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann: Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion 2009: 401-402 |
| 1 | Michael Barnett | [1] |
| 2 | Manuel Fähndrich | [1] |
| 3 | Francesco Logozzo | [1] |
| 4 | Nikolai Tillmann | [1] |