Specification-based test oracles for reactive systems (1992)

by D J Richardson, S L Aha, T O O'Malley
Venue:In Proceedings of International Conference on Software Engineering