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

1 - 1 von 1