Sadahiro Isoda A Criticism on the Capture-and-Recapture Method for Software Reliability Assurance. 38- 1995 conf/apsec/1995 APSEC http://csdl.computer.org/comp/proceedings/apsec/1995/7171/00/71710038abs.htm db/conf/apsec/apsec1995.html#Isoda95