The effectiveness of using non redundant test cases with program spectra for bug localization | IEEE Conference Publication | IEEE Xplore