Title: Essential Spectrum-Based Fault Localization