GitHub repository: EthanOK/ContractFuzzer
Description: The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)