Print Email Facebook Twitter Practical Mutation Testing for Smart Contracts 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 testingSmart contractSolidityBlockchainComputer privacyData privacyElectronic moneyTestingHostile environmentsMutation testingPrototype implementationsReal world projectsSecurity incidentTesting techniqueSoftware 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 Files To receive the publication files, please send an e-mail request to TNO Library.