Smart contracts hold the potential for revolutionizing various industries, but their implementation requires thorough testing due to the associated financial risks. Mutation testing is a powerful technique that can boost the fault-detection capabilities of a test suite, but it can also foster a deeper understanding of the smart contract behavior. This work proposes the usage of mutation testing throughout the smart contract auditing process to support code inspection activities.

Morena Barboni

University of Camerino