Richard G. Hamlet Reliability Theory of Program Testing. 31-43 1981 16 Acta Inf. db/journals/acta/acta16.html#Hamlet81