A consideration of Bayesian analysis of proof test | IEEE Conference Publication | IEEE Xplore