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

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:Second International Conference on Tests and Proofs (TAP 2008)
Publisher:Springer
Series:Lecture Notes in Computer Science
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 = {Second International Conference on Tests and Proofs (TAP 2008)},
    venue     = {Prato, Italy},
    editor    = {Bernhard Beckert and Reiner H{\"a}hnle},
    year      = {2008},
    volume    = {4966},
    pages     = {182--191},
    isbn      = {978-3-540-79123-2},
    series    = {Lecture Notes in Computer Science},
    publisher = {Springer}
}