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:Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy
Verleger:spv
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 = "Tests and Proofs, Second International Conference, TAP 2008,
               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 =    spv
}