Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study | IEEE Conference Publication | IEEE Xplore