Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts. - View it on GitHub