Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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

Technischer Bericht

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

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