Title
Practical Mutation Testing for Smart Contracts
Author
Honig, J.J.
Everts, M.H.
Huisman, M.
Publication year
2019
Abstract
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. © Springer Nature Switzerland AG 2019.
Subject
Mutation testing
Smart contract
Solidity
Blockchain
Computer privacy
Data privacy
Electronic money
Testing
Hostile environments
Mutation testing
Prototype implementations
Real world projects
Security incident
Testing technique
Software testing
To reference this document use:
http://resolver.tudelft.nl/uuid:89943aa2-771c-4a51-a6ac-62efd4395c25
DOI
https://doi.org/10.1007/978-3-030-31500-9_19
TNO identifier
870501
Publisher
Springer
ISBN
9783030314996
ISSN
0302-9743
Source
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 14th International Workshop on Data Privacy Management, DPM 2019, and the 3rd International Workshop on Cryptocurrencies and Blockchain Technology, CBT 2019, held in conjunction with the 24th European Symposium on Research in Computer Security, ESORICS 2019, 26 September 2019 through 27 September 2019, 289-303
Document type
conference paper