SmartMuVerf: A Mutant Verifier for Smart Contracts

Sangharatna Godboley, P. Krishna

2023

Abstract

Smart contracts are the logical programs holding the properties in Blockchain. These Blockchain technologies enable society towards trust-based applications. Smart contracts are prepared between the parties to hold their deals. If the deal held by a smart contract is complex and non-trivial, then there is a high chance of attracting issues and loss of assets. These contracts also consider expensive assets. This necessitates the verification and testing of a smart contract. Since we have the source code of a smart contract, then it is reasonable to apply verification and testing techniques. From the traditional ways, it has been observed that mutation testing is one of the important testing techniques. But, this testing technique suffers from the issues of time and cost. It is true that fault-based testing is a good mechanism to perform. So, looking at the issues we introduce a new technique for Mutation Verification for Smart Contracts. In this paper, we present an approach for measuring the mutation score using a verification approach. We experimented with a total of 10 smart contracts.

Paper Citation

in Harvard Style

Godboley S. and Krishna P. (2023). SmartMuVerf: A Mutant Verifier for Smart Contracts. In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-647-7, SciTePress, pages 346-353. DOI: 10.5220/0011822200003464

in Bibtex Style

@conference{enase23,
author={Sangharatna Godboley and P. Krishna},
title={SmartMuVerf: A Mutant Verifier for Smart Contracts},
booktitle={Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2023},
pages={346-353},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011822200003464},
isbn={978-989-758-647-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - SmartMuVerf: A Mutant Verifier for Smart Contracts
SN - 978-989-758-647-7
AU - Godboley S.
AU - Krishna P.
PY - 2023
SP - 346
EP - 353
DO - 10.5220/0011822200003464
PB - SciTePress