Merkliste 
 1 Ergebnisse 
 
1

Adding value to formal test oracles:

, In: Proceedings 17th IEEE International Conference on Automated Software Engineering,,
Andrews, J.H. ; Rui Fu ; Liu, V.D. - p. 275,276,277,278 , 2002