Merkliste 
 1 Ergebnisse 
 
1

Efficient Bounded Exhaustive Input Generation from Program ..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,