A Bayesian predictive software reliability model with pseudo-failures | IEEE Journals & Magazine | IEEE Xplore