Write a Blog >>
ICSE 2022
Sun 8 - Fri 27 May 2022
Thu 12 May 2022 11:30 - 11:45 at ICSE Demo room 1 - Software Testing 3 Chair(s): Wei Yang
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 May

Displayed 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
15m
Demonstration
DiffWatch: Watch Out for the Evolving Differential Testing in Deep Learning Libraries
DEMO - Demonstrations
Alexander Prochnow Osnabrueck University, Jinqiu Yang Concordia University
Pre-print Media Attached
11:15
15m
Demonstration
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
15m
Demonstration
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 May

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Demos 2DEMO - Demonstrations at Room 301+302
Chair(s): August Shi University of Texas at Austin
13:30
20m
Demonstration
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
20m
Demonstration
DiffWatch: Watch Out for the Evolving Differential Testing in Deep Learning Libraries
DEMO - Demonstrations
Alexander Prochnow Osnabrueck University, Jinqiu Yang Concordia University
Pre-print Media Attached
14:10
20m
Demonstration
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

Information for Participants
Thu 12 May 2022 11:00 - 12:00 at ICSE Demo room 1 - Software Testing 3 Chair(s): Wei Yang
Info for room ICSE Demo room 1:

Click here to go to the room on Midspace