@techreport{tap2008tutorial,
author = {Christoph Gladisch},
title = {Verification-based Test Case Generation with Loop Invariants and Method Specifications},
editor = {Bernhard Beckert and Reiner H\"ahnle},
booktitle = {Tests and Proofs: Papers Presented at the Second International Conference (TAP 2008), Prato, Italy},
series = {Reports of the Faculty of Informatics},
institution = {University of Koblenz-Landau},
volumne = {5/2008},
year = {2008},
month = may,
issn = {1864-0346}
}
Verification-based Test Case Generation with Loop Invariants and Method Specifications
| Autor(en): | Christoph Gladisch |
|---|---|
| Buchtitel: | Tests and Proofs: Papers Presented at the Second International Conference (TAP 2008), Prato, Italy |
| Institution: | University of Koblenz-Landau |
| Reihe: | Reports of the Faculty of Informatics |
| Jahr: | 2008 |