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,
}