Lemberger, ThomasHerrmann, Andrea2024-07-262024-07-262024https://dl.gi.de/handle/20.500.12116/44195In 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.ensoftwaretestautomatizationtoolText/Journal Article