@inproceedings{2a2560f5ddb64ad68b9b276c75685565,
title = "MuSC: A Tool for Mutation Testing of Ethereum Smart Contract",
abstract = "The smart contract cannot be modified when it has been deployed on a blockchain. Therefore, it must be given thorough test before its being deployed. Mutation testing is considered as a practical test methodology to evaluate the adequacy of software testing. In this paper, we introduce MuSC, a mutation testing tool for Ethereum Smart Contract (ESC). It can generate numerous mutants at a fast speed and supports the automatic operations such as creating test nets, deploying and executing tests. Specially, MuSC implements a set of novel mutation operators w.r.t ESC programming language, Solidity. Therefore, it can expose the defects of smart contracts to a certain degree. The demonstration video of MuSC is available at https://youtu.be/3KBKXJPVjbQ, and the source code can be downloaded at https://github.com/belikout/MuSC-Tool-Demo-repo.",
keywords = "Blockchain, Ethereum-Smart-Contract, Mutation-Operator, Mutation-Test",
author = "Zixin Li and Haoran Wu and Jiehui Xu and Xingya Wang and Lingming Zhang and Zhenyu Chen",
note = "Funding Information: ACKNOWLEDGMENT The work is partly supported by the National Natural Science Foundation of China (61802171) and the Jiangsu Planned Projects for Postdoctoral Research Funds (2018K028C). Publisher Copyright: {\textcopyright} 2019 IEEE.; 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019 ; Conference date: 10-11-2019 Through 15-11-2019",
year = "2019",
month = nov,
doi = "10.1109/ASE.2019.00136",
language = "English (US)",
series = "Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1198--1201",
booktitle = "Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019",
address = "United States",
}