Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts.

Thomas Durieux, Joo F. Ferreira, Rui Abreu, Pedro Cruz

Browse the full ICSE paper archive.