Combining Fuzz Testing and Spectrum-based Fault Localization - Carlos Daniel Coelho Ferreira Gomes (2022)