Logic and Formal Methods
Logic and Formal Methods
Logic and Formal Methods
Welcome to the Logic and Formal Methods Group
Staff

Integrating Verification and Testing of Object-Oriented Software

  • Author(s):

    Christian Engel
    Christoph Gladisch
    Vladimir Klebanov
    Philipp Rümmer
  • Source:

    2nd International Conference on Tests and Proofs, Prato, Italy, 2008

  • Integrating Verification and Testing of Object-Oriented Software Abstract. Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A symbiosis of software testing and verification techniques is a highly desired goal, but at the current state of the art most available tools are dedicated to just one of the two tasks: verification or testing. We use the KeY verification system (developed by the tutorial presenters) to demonstrate our approach in combining both.

BibTeX

@InProceedings{tap2008tutorial,
  author =       {Christian Engel and Christoph Gladisch and Vladimir Klebanov and Philipp R\"ummer},
  title =        {{Integrating Verification and Testing of Object-Oriented Software}},
  editor =       {Bernhard Beckert and Reiner H\"ahnle},

  booktitle =        {Tests and Proofs. Second International Conference, TAP 2008, Prato, Italy},
  publisher =    {Springer},
  series =       {LNCS 4966},
  year =         {2008},
  note =         {To appear}
}