Searching for Bugs Using Probabilistic Suspect Implications | IEEE Journals & Magazine | IEEE Xplore