Heuristics for program synthesis using loop invariants. - Joe W. Duran (ACM Annual Conference (2), 1978)

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

Automatic program synthesis via synthesis of loop-free segments. - Joe W. Duran (MARK, 1979)

A Report on Random Testing. - Joe W. Duran; Simeon C. Ntafos (ICSE, 1981)

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)

An Evaluation of Random Testing. - Joe W. Duran; Simeon C. Ntafos (IEEE Trans. Software Eng., 1984)

A General Expert System Design for Diagnostic Problem Solving. - Pamela K. Fink; John C. Lusth; Joe W. Duran (IEEE Trans. Pattern Anal. Mach. Intell., 1985)

On Some Reliability Estimation Problems in Random and Partition Testing. - Markos Z. Tsoukalas; Joe W. Duran; Simeon C. Ntafos (IEEE Trans. Software Eng., 1993)

Virtual personal computers and the portable network. - Joe W. Duran; A. Laubach (IPCCC, 1999)