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 incident. Mutation testing is one such technique. It allows for the evaluation of the efficiency of a test suite in detecting faults in a program, allowing developers to both assess and improve the quality of their test suites. In this paper, we propose a mutation testing framework and implement a prototype implementation called Vertigo that targets Solidity contracts for the Ethereum blockchain. We also show that mutation testing can be used to assess the test suites of real-world projects.
CITATION STYLE
Honig, J. J., Everts, M. H., & Huisman, M. (2019). Practical Mutation Testing for Smart Contracts. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11737 LNCS, pp. 289–303). Springer. https://doi.org/10.1007/978-3-030-31500-9_19
Mendeley helps you to discover research relevant for your work.