A Bayesian Framework for Software Regression Testing