基于模糊测试的智能合约正确性检测

基于模糊测试的智能合约正确性检测

王嘉诚, 蒋佳佳, 赵佳豪, 张玉书, 王良民

Correctness Detection of Smart Contract Based on Fuzzing

WANG Jiacheng, JIANG Jiajia, ZHAO Jiahao, ZHANG Yushu, WANG Liangmin

计算机工程与应用 . 2024, (5): 307 -320 . DOI: 10.3778/j.issn.1002-8331.2211-0142