On Bayes Method for Determination of Fault Sample Size Based on Post-test Risk | IEEE Conference Publication | IEEE Xplore