MuSe: a Mutation Testing Plugin for the Remix IDE
Gerardo Iuliano, Daniele Carangelo, Carmine Calabrese, Dario Di Nucci

TL;DR
MuSe is a new mutation testing plugin integrated into Remix-IDE that enhances smart contract testing by providing Solidity-specific and security-oriented mutation operators, making mutation testing more accessible for developers and researchers.
Contribution
It introduces MuSe, the first mutation testing plugin for Remix-IDE, with specialized operators and seamless integration to improve smart contract testing effectiveness.
Findings
Enables immediate mutation testing in Remix-IDE without extra setup.
Includes Solidity-specific and security-oriented mutation operators.
Facilitates assessment of test suite effectiveness and smart contract security.
Abstract
Mutation testing is a technique to assess the effectiveness of test suites by introducing artificial faults into programs. Although mutation testing plugins are available for many platforms and languages, none is currently available for Remix-IDE, the most widely used Integrated Development Environment for the entire contract development journey, used by users of all knowledge levels, and serves as a learning lab for teaching and experimenting with Ethereum. The quality and security of smart contracts are crucial in blockchain systems, as even minor issues can result in substantial financial losses. This paper proposes MuSe, a mutation testing plugin for the Remix-IDE. MuSe includes traditional, Solidity-specific, and security-oriented mutation operators. Its integration into the Remix-IDE eliminates the need for additional setup and lowers the entry barrier. As a result, developers and…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Testing and Debugging Techniques · Advanced Malware Detection Techniques · Software Engineering Techniques and Practices
