Smart contract testing: challenges and opportunities

M Barboni, A Morichetta, A Polini - … of the 5th International Workshop on …, 2022 - dl.acm.org
Blockchain technologies have found important and concrete applications in the real world.
Active solutions leverage Smart Contracts for the management of cryptocurrencies, sensitive …

SuMo: A mutation testing approach and tool for the Ethereum blockchain

M Barboni, A Morichetta, A Polini - Journal of Systems and Software, 2022 - Elsevier
Blockchain technologies have had a rather disruptive impact on many sectors of the
contemporary society. The establishment of virtual currencies is probably the most …

A systematic literature review on dynamic testing of blockchain oriented software

M Lahami, AJ Maalej, M Krichen - Science of Computer Programming, 2025 - Elsevier
Abstract This Systematic Literature Review (SLR) provides a thorough analysis of the most
pertinent research with regard to testing Blockchain oriented Software (BoS). Indeed, it is …

Systematic mapping of testing smart contracts for blockchain applications

NP Imperius, AD Alahmar - IEEE Access, 2022 - ieeexplore.ieee.org
In the last few years, the technological future becoming apparent by the introduction of smart
contracts into mainstream technology, specifically in the development of Web3 and the …

Functional suitability assessment of smart contracts: A survey and first proposal

A Vacca, M Fredella, A Di Sorbo… - Journal of Software …, 2024 - Wiley Online Library
Blockchain is a cross‐cutting technology allowing interactions among untrusted entities in a
distributed manner without the need for involving a trusted third party. Smart contracts (ie …

Resumo: Regression mutation testing for solidity smart contracts

M Barboni, F Casoni, A Morichetta, A Polini - International Conference on …, 2022 - Springer
Mutation testing is a powerful test adequacy assessment technique that can guarantee the
deployment of more reliable Smart Contract code. Developers add new features, fix bugs …

Enhanced mutation testing of smart contracts in support of code inspection

S Banescu, M Barboni, A Morichetta… - … on Blockchain and …, 2024 - ieeexplore.ieee.org
Smart contracts hold the potential to revolutionize various industries, but their
implementation requires thorough testing due to the associated financial risks. Mutation …

TestSmart: a tool for automated generation of effective test cases for smart contracts

M Fooladgar, A Arefzadeh… - 2021 11th International …, 2021 - ieeexplore.ieee.org
Ethereum Smart contracts are pieces of code that are run on this blockchain. The
correctness of smart contracts is important as they are immutable, their source can be seen …

Gas‐centered mutation testing of Ethereum Smart Contracts

P Delgado‐Pérez, I Meléndez‐Lapi… - Journal of Software …, 2024 - Wiley Online Library
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 …

White-Box Mutation Testing of Smart Contracts: A Quick Review

A Jmal Maâlej, M Lahami - … Conference on Verification and Evaluation of …, 2023 - Springer
Once being deployed on the blockchain, smart contracts cannot be altered, requiring more
testing. A fault-based testing technique called mutation testing (MT) can significantly …