Quantitative evaluation of capture-recapture models to control software inspections | IEEE Conference Publication | IEEE Xplore