Essential Spectrum-based Fault Localization - Xiaoyuan Xie, Baowen Xu (Springer, 2021)