Statements versus Predicates in Spectral Bug Localization | IEEE Conference Publication | IEEE Xplore