2026-09-18T20:59:26Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:25706 2026-09-05T19:26:55Z ddc:004 open_access

Towards Property-Based Testing of Smart Contracts Using Gas Analysis (Short Paper) Albert, Elvira De Angelis, Emanuele Di Ianni, Marco Fioravanti, Fabio Gordillo, Pablo Property-based Testing Blockchain Ethereum Gas Testing has become an integral part of the software development process in order to ensure the correct and safe execution of programs. A powerful approach to testing is property-based testing that aims at generating unit tests that verify that a certain property of interest holds. However, smart contracts are also characterized by important non-functional aspects, such as the gas consumption required to execute their functions. Static gas analyzers are able to obtain parametric gas bounds - that soundly over-approximate - the gas consumption of executing each of the public functions within a smart contract. This paper discusses our ideas towards combining both formal methods, property-based testing and gas analysis, in order to generate gas-aware unit tests that can ensure the gas requirements provided by the programmers. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Elvira Albert and Emanuele De Angelis and Marco Di Ianni and Fabio Fioravanti and Pablo Gordillo 2026 Is Part Of OASIcs, Volume 142, 7th International Workshop on Formal Methods for Blockchains (FMBC 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.FMBC.2026.9 urn:nbn:de:0030-drops-257069 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2026.9 eng https://creativecommons.org/licenses/by/4.0/legalcode