Sadahiro Isoda A criticism on the capture-and-recapture method for software reliability assurance. 3-10 1998 43 Journal of Systems and Software 1 http://dx.doi.org/10.1016/S0164-1212(98)10017-1 db/journals/jss/jss43.html#Isoda98