@STRING{spv = "Springer"}
@STRING{lncs = "LNCS"}
@STRING{lnai = "LNAI"}

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