Specification-based test oracles for reactive systems (1992)

by D J RICHARDSON, S L AHA, T O O’MALLEY
Venue:In Proceedings of the 14th international conference on Software engineering