Integrating Verification and Testing of Object-Oriented Software

Reviewed Paper In Proceedings

Author(s):Christian Engel, Christoph Gladisch, Vladimir Klebanov, and Philipp Rümmer
In:Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy
Publisher:spv
Series:lncs
Volume:4966
Year:2008
Pages: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
}