Toward models for probabilistic program correctness. - Joe W. Duran; John J. Wiorkowski (SIGMETRICS Perform. Evaluation Rev., 1978)

Capture-Recaptur Sampling for Estimating Software Error Content. - Joe W. Duran; John J. Wiorkowski (IEEE Trans. Software Eng., 1981)

Estimating the correctness of computer programs. - Joe W. Duran; John J. Wiorkowski (Inf. Sci., 1982)