Mutation testing of smart contracts at scale

DOI10.5281/zenodo.3716028Zenodo3716028MaRDI QIDQ6696552

Dataset published at Zenodo repository.

Author name not available (Why is that?)

Publication date: 22 December 2019

Copyright license: No records found.

Description

Replication package for the paperMutation testing of smart contracts at scale. It is crucial that smart contracts are tested thoroughly due to their immutable nature. Even small bugs in smart contracts can lead to huge monetary losses. However, testing is not enough; it is also im- portant to ensure the quality and completeness of the tests. There are already several approaches that tackle this challenge with mutation test- ing, but their effectiveness is questionable since they only considered small contract samples. Hence, we evaluate the quality of smart contract mutation testing at scale. We choose the most promising of the existing (smart contract specific) mutation operators, analyse their effectiveness in terms of killability and highlight severe vulnerabilities that can be in- jected with the mutations. Moreover, we improve the existing mutation methods by introducing a novel killing condition that is able to detect a deviation in the gas consumption, i.e., in the monetary value that is required to perform transactions.

This page was built for dataset: Mutation testing of smart contracts at scale