Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts

Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. However, it is not trivial to compare and reproduce that research. To address this, we present an empirical evaluation of 9 state-of-the-art automated analysis tool...

Full description

Bibliographic Details

Published in:	2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) pp. 530 - 541
Main Authors:	Durieux, Thomas, Ferreira, Joao F., Abreu, Rui, Cruz, Pedro
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.10.2020
Subjects:	Blockchain Debugging Ethereum Reproducible Bugs Smart contracts Solidity Testing
ISSN:	1558-1225
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!