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á bibliografie

Vydáno v:	2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) s. 530 - 541
Hlavní autoři:	Durieux, Thomas, Ferreira, Joao F., Abreu, Rui, Cruz, Pedro
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 01.10.2020
Témata:	Blockchain Debugging Ethereum Reproducible Bugs Smart contracts Solidity Testing
ISSN:	1558-1225
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!