Enhancing the efficiency of bayesian network based Coverage Directed Test GenerationMarkus BraunShai Fineet al.2004HLDVT 2004