Cooperative Approaches Across Test Generation and Formal Software Verification
| dc.contributor.author | Lemberger, Thomas | |
| dc.contributor.editor | Herrmann, Andrea | |
| dc.date.accessioned | 2024-07-26T10:37:41Z | |
| dc.date.available | 2024-07-26T10:37:41Z | |
| dc.date.issued | 2024 | |
| dc.description.abstract | In the last decade, powerful techniques were developed that either automatically generate tests for software, or automatically verify software with formal methods. In both areas it is common to combine different techniques to leverage their strengths and mitigate their weaknesses. This happens through costly, proprietary reimplementations within a single tool. This thesis contrasts this and provide concepts that enable an inexpensive and fast off-the-shelf cooperation of standalone tools through standardized exchange formats. | en |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/44195 | |
| dc.language.iso | en | |
| dc.pubPlace | Bonn | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Softwaretechnik-Trends Band 44, Heft 2 | |
| dc.relation.ispartofseries | Softwaretechnik-Trends | |
| dc.subject | software | |
| dc.subject | test | |
| dc.subject | automatization | |
| dc.subject | tool | |
| dc.title | Cooperative Approaches Across Test Generation and Formal Software Verification | en |
| dc.type | Text/Journal Article | |
| mci.reference.pages | 66-67 |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- Denert2023_6_Lemberger.pdf
- Größe:
- 150.74 KB
- Format:
- Adobe Portable Document Format