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 …
ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts
Mutation testing is a powerful test adequacy assessment technique that can guarantee the
deployment of deeply scrutinized and more reliable Smart Contract code. However …
deployment of deeply scrutinized and more reliable Smart Contract code. However …
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 …
ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, BP 1173, 3038 Sfax, Tunisia {afef. jmal, mariam. lahami}@ redcad. org
AJ Maâlej - Verification and Evaluation of Computer and …, 2023 - books.google.com
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 …