Pseudo-oracles for non-testable programs
Martin D. Davis, Elaine J. Weyuker · 1981
The most commonly used method of validating a program is by testing. The programmer typically runs the program on some test cases, and if and when they run correctly, the program is considered to be correct.