Write a Blog >>
AST 2021
Fri 28 - Sat 29 May 2021
co-located with ICSE 2021
Thu 20 May 2021 15:00 - 15:30 at AST Room - Mutation Testing and Debugging Chair(s): Francisco Gortázar

Smart Contracts are software programs that are deployed and executed within a blockchain infrastructure. Due to their immutable nature, directly resulting from the specific characteristics of the deploying infrastructure, smart contracts must be thoroughly tested before their release. Testing is one of the main activity that can help to improve the reliability of a smart contract, so to possibly prevent considerable loss of valuable assets. It is therefore important to provide the testers with tools that permit to assess the activity they performed. Mutation testing is a powerful approach for assessing the fault-detection capability of a test suite. In this paper, we propose SuMo, a novel mutation testing tool for Ethereum Smart Contracts. SuMo implements a set of 44 mutation operators that were designed starting from the latest Solidity documentation, and from well-known mutation testing tools. These allow to simulate a wide variety of faults that can be made by smart contract developers. The set of operators was designed to limit the generation of stillborn mutants, which slow down the mutation testing process, and limit the usability of the tool. We report a first evaluation of SuMo on open-source projects for which test suites were available. The results we got are encouraging, and they suggest that SuMo can effectively help developers to deliver more reliable smart contracts.

Thu 20 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 16:15
Mutation Testing and DebuggingAST 2021 at AST Room
Chair(s): Francisco Gortázar Universidad Rey Juan Carlos
15:00
30m
Long-paper
SuMo: A Mutation Strategy for Solidity Smart Contracts
AST 2021
Pre-print Media Attached
15:30
15m
Short-paper
Extreme mutation testing in practice: An industrial case study
AST 2021
Maik Betka University of Stuttgart, Stefan Wagner University of Stuttgart
Pre-print Media Attached
15:45
30m
Long-paper
Extending Hierarchical Delta Debugging with Hoisting
AST 2021
Daniel Vince , Renáta Hodován University of Szeged, Hungary, Daniella Bársony University of Szeged, Department of Software Engineering, Ákos Kiss University of Szeged, Hungary
Pre-print Media Attached

Information for Participants
Thu 20 May 2021 15:00 - 16:15 at AST Room - Mutation Testing and Debugging Chair(s): Francisco Gortázar
Info for room AST Room:

Go directly to this room on Clowdr