"For many complex software systems, complete test oracles are unavailable or costly to construct."
Barr and colleagues survey approaches to distinguishing correct from incorrect software behavior when an automatic oracle is difficult to obtain. They document partial oracles, metamorphic testing, specifications, and the continuing role of human domain knowledge in defining acceptable outcomes.
View Source