http://www.kitploit.com/2019/07/echidna-ethereum-fuzz-testing-framework.html