The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018) - View it on GitHub