Benchmark Generator for Smart-Contract Fuzzers - View it on GitHub