Merkliste 
 1 Ergebnisse 
 
1

Specification-based test oracles for reactive systems:

, In: Proceedings of the 14th international conference on Software engineering,