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...

Celý popis

Podrobná bibliografia

Vydané v:	2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) s. 530 - 541
Hlavní autori:	Durieux, Thomas, Ferreira, Joao F., Abreu, Rui, Cruz, Pedro
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 01.10.2020
Predmet:	Blockchain Debugging Ethereum Reproducible Bugs Smart contracts Solidity Testing
ISSN:	1558-1225
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!