![]() | ![]() |
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] |