Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools

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]

Authors

Alexander Leid

This author has not been identified. Look up 'Alexander Leid' in Google

Brink van der Merwe

This author has not been identified. Look up 'Brink van der Merwe' in Google

Willem Visser

This author has not been identified. Look up 'Willem Visser' in Google