Merkliste 
 1 Ergebnisse 
 
1

A Generalized Model-Based Test Generation Method:

, In: 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods,