| |
| 2008 | ||
|---|---|---|
| 3 | EE | Christoph Gladisch: Verification-Based Test Case Generation for Full Feasible Branch Coverage. SEFM 2008: 159-168 |
| 2 | EE | Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer: Integrating Verification and Testing of Object-Oriented Software. TAP 2008: 182-191 |
| 2007 | ||
| 1 | EE | Bernhard Beckert, Christoph Gladisch: White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. TAP 2007: 207-216 |
| 1 | Bernhard Beckert | [1] |
| 2 | Christian Engel | [2] |
| 3 | Vladimir Klebanov | [2] |
| 4 | Philipp Rümmer | [2] |