| 2009 | ||
|---|---|---|
| 2 | Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann: Symbolic Query Exploration. ICFEM 2009: 49-68 | |
| 1 | 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 | Pavel Grigorenko | [2] |
| 4 | Francesco Logozzo | [1] |
| 5 | Nikolai Tillmann | [1] [2] |
| 6 | Margus Veanes | [2] |