Aha, Stephanie Leif
4  results:
Search for persons X
?
1

Specification-based test oracles for reactive systems:

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

Developing and integrating ProDAG in the Arcadia environmen:

, In: Proceedings of the fifth ACM SIGSOFT symposium on Software development environments,
 
1-4