SmartBugs: A Framework to Analyze Solidity 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 SmartBugs, an extensible and easy-to-use execution framework that sim...

Full description

Saved in:

Bibliographic Details
Published in:	2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 1349 - 1352
Main Authors:	Ferreira, Joao F., Cruz, Pedro, Durieux, Thomas, Abreu, Rui
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.09.2020
Subjects:	Blockchain Debugging Documentation Ethereum Guidelines Reproducible Bugs Smart contracts Software engineering Solidity Testing
ISSN:	2643-1572
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!