Debra J. Richardson Stephanie Leif Aha T. Owen O'Malley Specification-Based Test Oracles for Reactive Systems. 105-118 1992 ICSE http://doi.acm.org/10.1145/143062.143100 db/conf/icse/icse92.html#RichardsonAO92