Merkliste 
 1 Ergebnisse 
 
1

Ultimate TestGen: Test-Case Generation with Automata-based ..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Barth, Max ; Dietsch, Daniel ; Heizmann, Matthias. - p. 326-330 , 2024