MURE: Making Use of MUtations to REfine Spectrum-Based Fault Localization | IEEE Conference Publication | IEEE Xplore