Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Wed 22 Jul 2020 16:51 - 16:58 at Zoom - TOOL DEMO Chair(s): Owolabi Legunsen

Ethereum smart contracts—autonomous programs that run on a blockchain—often control transactions of financial and intellectual property. Because of the critical role they play, smart contracts need complete, comprehensive, and effective test generation. This paper introduces an open-source smart contract fuzzer called Echidna that makes it easy to automatically generate tests to detect violations in assertions and custom properties. Echidna is easy to install and does not require a complex configuration or deployment of contracts to a local blockchain. It offers responsive feedback, captures many property violations, and its default settings are calibrated based on experimental data. To date, Echidna has been used in more than 10 large paid security audits, and feedback from those audits has driven the features and user experience of Echidna, both in terms of practical usability (e.g., smart contract frameworks like Truffle and Embark) and test generation strategies. Echidna aims to be good at finding real bugs in smart contracts, with minimal user effort and maximal speed.

Wed 22 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

issta-2020-tool-demonstration
16:30 - 17:33: Tool Demonstration - TOOL DEMO at Zoom
Chair(s): Owolabi LegunsenCornell University

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

issta-2020-tool-demonstration16:30 - 16:37
Talk
Ezio BartocciTechnische Universität Wien, Niveditha ManjunathVienna University of Technology, Leonardo MarianiUniversity of Milano Bicocca, Cristinel MateisAIT Austrian Institute of Technology GmbH, Dejan NickovicAustrian Institute of Technology, Fabrizio PastoreUniversity of Luxembourg
issta-2020-tool-demonstration16:37 - 16:44
Talk
Chao GuoNanjing University, Tieke HeNanjing University, Wei YuanNanjing University, Yue GuoNanjing University, Rui HaoNanjing University, China
issta-2020-tool-demonstration16:44 - 16:51
Talk
Wentian YanPeking University, Jianbo GaoPeking University, Zhenhao WuPeking University and Boya Blockchain Inc, Yue LiPeking University, Zhi GuanPeking University, Qingshan LiPeking University, Zhong Chen
issta-2020-tool-demonstration16:51 - 16:58
Talk
Gustavo GriecoTrail of Bits, Will SongTrail of Bits, Artur CyganTrail of Bits, Josselin FeistTrail of Bits, Alex GroceNorthern Arizona University
issta-2020-tool-demonstration16:58 - 17:05
Talk
Yang ZhangHebei University of Science and Technology, Shuai ShaoHebei University of Science and Technology, Juan ZhaiRutgers University, Shiqing MaRutgers University, USA
issta-2020-tool-demonstration17:05 - 17:12
Talk
Ali GhanbariThe University of Texas at Dallas
Pre-print
issta-2020-tool-demonstration17:12 - 17:19
Talk
George ThompsonNorth Carolina A&T State University, Allison SullivanThe University of Texas at Arlington
issta-2020-tool-demonstration17:19 - 17:26
Talk
Zichen GuoNanjing University, Jiawei LiuNanjing University, Tieke HeNanjing University, Zhuoyang LiNanjing University, Peitian ZhangzhuNanjing University
issta-2020-tool-demonstration17:26 - 17:33
Talk
Ruixiang QianState Key Laboratory for Novel Software Technology, Nanjing University, Yuan ZhaoState Key Laboratory for Novel Software Technology, Nanjing University, Duo MenState Key Laboratory for Novel Software Technology, Nanjing University, Yang FengNanjing University, Qingkai ShiThe Hong Kong University of Science and Technology, Yong HuangState Key Laboratory for Novel Software Technology, Nanjing University, Zhenyu ChenNanjing University
DOI