Vulnerability detection method for blockchain smart contracts based on metamorphic testing
Papers|更新时间:2024-05-31
|
Vulnerability detection method for blockchain smart contracts based on metamorphic testing
Journal on CommunicationsVol. 44, Issue 10, Pages: 164-176(2023)
作者机构:
1. 江苏大学计算机科学与通信工程学院,江苏 镇江 212013
2. 江苏省工业网络安全技术重点实验室,江苏 镇江 212013
3. 威斯康星国际大学学院商业计算系,阿克拉 RE 00233
作者简介:
基金信息:
The National Key Research and Development Program of China(2020YFB1005501);The National Natural Science Foundation of China(62172194);The National Natural Science Foundation of China(62202206);The National Natural Science Foundation of China(U1836116);The Natural Science Foundation of Jiangsu Province(BK20220515);The Leading-edge Technology Program of Jiangsu Natural Science Foundation(BK20202001);The China Postdoctoral Science Foundation(2023T160275);The Qinglan Project of Jiangsu Province
Jinfu CHEN, Zhenxin WANG, Saihua CAI, et al. Vulnerability detection method for blockchain smart contracts based on metamorphic testing[J]. Journal on Communications, 2023, 44(10): 164-176.
DOI:
Jinfu CHEN, Zhenxin WANG, Saihua CAI, et al. Vulnerability detection method for blockchain smart contracts based on metamorphic testing[J]. Journal on Communications, 2023, 44(10): 164-176. DOI: 10.11959/j.issn.1000-436x.2023190.
Vulnerability detection method for blockchain smart contracts based on metamorphic testing