Turing, A. M. (1949). "Checking a Large Routine." Report of a Conference on High Speed Automatic Calculating Machines, Cambridge, pp. 67-69.
8 pages

Scanned from the King's College Cambridge Turing Digital Archive, catalogue AMT-B-8.
Companion article: How Testing Proves Code

Space or scroll to read