| * | 2009 |
|---|
| 4 | EE | Christoph Gladisch:
Could We Have Chosen a Better Loop Invariant or Method Contract?.
TAP 2009: 74-89 |
| 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 |
