Integrating Verification and Testing of Object-Oriented Software

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