Mutation Testing for Ethereum Smart Contract

Wu Haoran
Wu Haoran
Wang Xingya
Wang Xingya
Xu Jiehui
Xu Jiehui
Cited by: 9|Bibtex|Views7|Links

Abstract:

Smart contract is a special program that manages digital assets on blockchain. It is difficult to recover the loss if users make transactions through buggy smart contracts, which cannot be directly fixed. Hence, it is important to ensure the correctness of smart contracts before deploying them. This paper proposes a systematic framework...More

Code:

Data:

Your rating :
0

 

Tags
Comments