Essential Spectrum-based Fault Localization - Xie (Springer Singapore, 2021)