"In 1982, Elaine Weyuker published On Testing Non-Testable Programs, addressing programs for which a correct-output oracle is absent or prohibitively expensive."
Weyuker's original paper challenges the assumption that a tester can always determine the correct result of a program execution. It explains why the lack or excessive cost of an oracle is a fundamental obstacle to conventional testing.
View Source