Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Integrating Verification and Testing of Object-Oriented Software

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Christian Engel, Christoph Gladisch, Vladimir Klebanov und Philipp Rümmer
In:Second International Conference on Tests and Proofs (TAP 2008)
Verleger:Springer
Reihe:LNCS
Band:4966
Jahr:2008
Seiten:182-191

BibTeX

@inproceedings{verificationPlusTesting08,
    author    = {Christian Engel and Christoph Gladisch and Vladimir Klebanov and Philipp R{\"u}mmer},
    title     = {Integrating Verification and Testing of Object-Oriented Software},
    booktitle = {Second International Conference on Tests and Proofs (TAP 2008)},
    place     = {Prato, Italy},
    editor    = {Bernhard Beckert and Reiner H{\"a}hnle},
    year      = {2008},
    volume    = {4966},
    pages     = {182-191},
    isbn      = {978-3-540-79123-2},
    series    = {LNCS},
    publisher = {Springer}
}