RT journal article
T1 Gas-centered mutation testing of Ethereum Smart Contracts
A1 Delgado Pérez, Pedro
A1 Meléndez Lapi, Ignacio
A1 Boubeta Puig, Juan
A2 Ingeniería Informática
K1 blockchain
K1 Ethereum
K1 gas consumption
K1 mutation testing
K1 smart contract
AB Smart contracts (SC) are programs embodying certain business logic stored on a blockchain network like Ethereum. The execution of transactions on SC has a cost, measured in gas units, that depends on the low-level operations performed. Therefore, a poor choice of high-level language constructs could lead to overcharging users for their transactions. Thus, a testing process focused on possible deviations of the gas used in diverse scenarios could provide substantial global savings. This paper presents a gas-centered mutation testing approach for taking care of the gas consumed by Solidity SCs. This approach can be useful to improve the test quality to detect gas-related problems, reason about performance issues that only manifest in certain situations, and identify alternative more optimal implementations. We define and implement several mutation operators specifically designed to perturb gas consump-tion while preserving contract semantics in general. Our experiments using several real-world SCs show the feasibility of the technique, with some mutants reproducing meaningful differences in the consumption and exposing some gas limits not tight enough in historic transactions. Therefore, our approach is shown to be a good ally to prevent the appearance of gas-related issues and lays the groundwork for researchers seeking to improve performance testing practices.
PB John Wiley & Sons Ltd.
SN 2047-7473
YR 2024
FD 2024
LK http://hdl.handle.net/10498/33189
UL http://hdl.handle.net/10498/33189
LA eng
DS Repositorio Institucional de la Universidad de Cádiz
RD 11-nov-2026