GitHub repository: kjezek/ContractFuzzer
Primary language: Go
Description: The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)