Extending a Hybrid Fuzzer for Smart Contracts with a Test - Suite Diagnosability Metric - Francisco Ademar Freitas Friande (2022)