SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts
Thu 26 May 2022 13:30 - 13:50 at Room 301+302 - Demos 2 Chair(s): August Shi
Ethereum is the largest and most prominent smart contract platform. One key property of Ethereum is that once a contract is deployed, it can not be updated anymore. This increases the importance of thoroughly testing the behavior and constraints of the smart contract before deployment. Existing approaches in related work either do not scale or are only focused on finding crashing inputs. In this tool demo, we introduce SynTest-Solidity, an automated test case generation and fuzzing framework for Solidity. SynTest-Solidity implements various metaheuristic search algorithms, including random search (traditional fuzzing) and genetic algorithms (i.e., NSGA-II, MOSA, and DynaMOSA). Finally, we performed a preliminary empirical study to assess the effectiveness of SynTest-Solidity in testing Solidity smart contracts.
Thu 12 MayDisplayed time zone: Eastern Time (US & Canada) change
11:00 - 12:00 | Software Testing 3DEMO - Demonstrations at ICSE Demo room 1 Chair(s): Wei Yang University of Texas at Dallas | ||
11:00 15mDemonstration | DiffWatch: Watch Out for the Evolving Differential Testing in Deep Learning Libraries DEMO - Demonstrations Pre-print Media Attached | ||
11:15 15mDemonstration | VRTest: An Extensible Framework for Automatic Testing of Virtual Reality Scenes DEMO - Demonstrations Xiaoyin Wang University of Texas at San Antonio Pre-print Media Attached | ||
11:30 15mDemonstration | SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts DEMO - Demonstrations Mitchell Olsthoorn Delft University of Technology, Dimitri Stallenberg Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands, Annibale Panichella Delft University of Technology DOI Pre-print Media Attached |
Thu 26 MayDisplayed time zone: Eastern Time (US & Canada) change
13:30 - 15:00 | |||
13:30 20mDemonstration | SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart Contracts DEMO - Demonstrations Mitchell Olsthoorn Delft University of Technology, Dimitri Stallenberg Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands, Annibale Panichella Delft University of Technology DOI Pre-print Media Attached | ||
13:50 20mDemonstration | DiffWatch: Watch Out for the Evolving Differential Testing in Deep Learning Libraries DEMO - Demonstrations Pre-print Media Attached | ||
14:10 20mDemonstration | iPFlakies: A Framework for Detecting and Fixing Python Order-Dependent Flaky Tests DEMO - Demonstrations Ruixin Wang Zhejiang University, Yang Chen Huazhong University of Science and Technology, Wing Lam University of Illinois at Urbana-Champaign Pre-print Media Attached |