Incorporating probabilistic reasoning in a reactive program debugging system | IEEE Journals & Magazine | IEEE Xplore