Mutation Testing is different form other testing methods in that the objective is not to test the actual smart contract code. Instead, the objective is to test the completeness of the existing test suite. Mutation testing is the act of mutating existing contracts to see if the test suite is comprehensive enough to catch the mutation.

In traditional software engineering, mutation testing can be automated with tools that randomly modify code by manipulating the AST. Unfortunately, there is no proven automated mutation tool that exists currently in Solidity.

The SuMo tool website has a good selection of ideas for potential mutations but we have not tested the tool directly.

‍