Spectrum-Based Fault Localization Method with Test Case Reduction | IEEE Conference Publication | IEEE Xplore