Bibliographic Details
| Title: |
Integrating Verification and Testing of Object-Oriented Software. |
| Authors: |
Engel, Christian, Gladisch, Christoph, Klebanov, Vladimir, Rümmer, Philipp |
| Source: |
Tests & Proofs (9783540791232); 2008, p182-191, 10p |
| 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. [ABSTRACT FROM AUTHOR] |
|
Copyright of Tests & Proofs (9783540791232) is the property of Springer Nature / Books and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Complementary Index |