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 …

Mutation testing is a powerful test adequacy assessment technique that can guarantee the
deployment of deeply scrutinized and more reliable Smart Contract code. However …

With the growing popularity of smart contracts, the problem of validation of their correctness
becomes more and more relevant, but at the moment there are no universally recognized …

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 …

Smart Contracts are software programs that are deployed and executed within a blockchain
infrastructure. Due to their immutable nature, directly resulting from the specific …

Solidity smart contracts operate in a hostile environment, which introduces the need for the
adequate application of testing techniques to ensure mitigation of the risk of a security …

Security of smart contracts has attracted increasing attention in recent years. Many
researchers have devoted themselves to devising testing tools for vulnerability detection …

It is crucial that smart contracts are tested thoroughly due to their immutable nature. Even
small bugs in smart contracts can lead to huge monetary losses. However, testing is not …

Smart contracts are self-executing programs that are stored on the blockchain. Once a smart
contract is compiled and deployed on the blockchain, it cannot be modified. Therefore …

Background: Executing, verifying and enforcing credible transactions on permissionless
blockchains is done using smart contracts. A key challenge with smart contracts is ensuring …