Estimation of the Total Number of Software Failures from Test Data and Code Coverage: A Bayesian Approach | IEEE Conference Publication | IEEE Xplore