Alexander Leid, Brink van der Merwe, Willem Visser. Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools. In SAICSIT '20: Conference of the South African Institute of Computer Scientists and Information Technologists 2020, Cape Town, South Africa, 14-16 September, 2020. pages 35-43, ACM, 2020. [doi]
Abstract is missing.