Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Verification-based Test Case Generation with Loop Invariants and Method Specifications

Technical Report
Author(s):Christoph Gladisch
Booktitle:Tests and Proofs: Papers Presented at the Second International Conference (TAP 2008), Prato, Italy
Institution:University of Koblenz-Landau
Series:Reports of the Faculty of Informatics
Year:2008

BibTeX

@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}
}