Automated Test Case Generation for Effective Spectrum-based Fault Localization. (June 2020)