Bayesian Approach for Regression Testing (BART) using Test Suite Prioritization | IEEE Conference Publication | IEEE Xplore