Toward models for probabilistic program correctness

This work presents models for determining, via testing, such probabilistic measures of program correctness as the probability that a program will run correctly on randomly chosen input data, confidence intervals on the number of errors remaining in a program, and the likelihood that the program has been completely tested.