Specification-based test oracles for reactive systems (1992)

by D J Richardson, S L Aha, T O O’malley
Venue:In ICSE 1992