On Testing Non-Testable Programs
On Testing Non-Testable Programs is a scholarly work, published in 1982 in ''The Computer Journal''. The main subjects of the publication include reliability engineering, test automation, biological mechanism, computer science, test oracle, and computational thinking. A frequently invoked assumption in program testing is that there is an oracle (i.e. the tester or an external mechanism can accurately decide whether or not the output produced by a program is correct).