A review of work on the occurrence and detection of errors in computer programs is presented. This includes: experiments to measure the frequency and distribution of errors; the use of simulation to determine the effect of typing mistakes; data flow analysis for static error detection; and measure to quantify program testing.
Fosdick, Lloyd D., "Detecting Errors in Programs ; CU-CS-149-79" (1979). Computer Science Technical Reports. 147.