Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley
Specification-Based Test Oracles for Reactive Systems
ICSE, 1992.
@inproceedings{ICSE-1992-RichardsonAO, author = "Debra J. Richardson and Stephanie Leif Aha and T. Owen O'Malley", booktitle = "{Proceedings of the 14th International Conference on Software Engineering}", doi = "10.1145/143062.143100", editor = "Tony Montgomery and Lori A. Clarke and Carlo Ghezzi", isbn = "0-89791-504-6", pages = "105--118", publisher = "{ACM Press}", title = "{Specification-Based Test Oracles for Reactive Systems}", year = 1992, }