Enhancing the efficiency of Bayesian network based coverage directed test generation | IEEE Conference Publication | IEEE Xplore