Richard G. Hamlet Predicting Dependability by Testing. 84-91 1996 ISSTA http://doi.acm.org/10.1145/229000.226305 db/conf/issta/issta96.html#Hamlet96