Bayesian Analysis for Software Reliability with Fault Detection and Correction Data | IEEE Conference Publication | IEEE Xplore