Olympia: Fuzzer Benchmarking for Solidity. - Jana Chadt; Christoph Hochrainer; Valentin Wüstholz; Maria Christakis (ASE, 2024)