SmartMuVerf: A Mutant Verifier for Smart Contracts

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.