An automated oracle for software testing
David B. Brown, Robert F. Roggio, James H. Cross, Carolyn L. McCreary · IEEE Transactions on Reliability · 1992
The theory, the design, and an example implementation of an automated oracle are presented. A software testing environment that is a collection of recently developed state-of-the-art tools and techniques that constitute an automatic module verifier is discussed. Requirements are analyzed by using a formal specification language, called IORL, whose realizations are compilable.>