Smart contract testing: challenges and opportunities
Blockchain technologies have found important and concrete applications in the real world.
Active solutions leverage Smart Contracts for the management of cryptocurrencies, sensitive …
Active solutions leverage Smart Contracts for the management of cryptocurrencies, sensitive …
SuMo: A mutation testing approach and tool for the Ethereum blockchain
Blockchain technologies have had a rather disruptive impact on many sectors of the
contemporary society. The establishment of virtual currencies is probably the most …
contemporary society. The establishment of virtual currencies is probably the most …
A systematic literature review on dynamic testing of blockchain oriented software
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 …
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 …
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 …
distributed manner without the need for involving a trusted third party. Smart contracts (ie …
Resumo: Regression mutation testing for solidity smart contracts
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 …
deployment of more reliable Smart Contract code. Developers add new features, fix bugs …
Enhanced mutation testing of smart contracts in support of code inspection
Smart contracts hold the potential to revolutionize various industries, but their
implementation requires thorough testing due to the associated financial risks. Mutation …
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 …
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 …
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 …
testing. A fault-based testing technique called mutation testing (MT) can significantly …