通信学报2023,Vol.44Issue(10):164-176,13.DOI:10.11959/j.issn.1000-436x.2023190
基于蜕变测试的区块链智能合约漏洞检测方法
Vulnerability detection method for blockchain smart contracts based on metamorphic testing
摘要
关键词
软件测试/区块链/智能合约/安全漏洞/蜕变测试Key words
software testing/blockchain/smart contract/security vulnerability/metamorphic testing分类
信息技术与安全科学引用本文复制引用
陈锦富,王震鑫,蔡赛华,冯乔伟,陈宇豪,许容天,Patrick Kwaku Kudjo..基于蜕变测试的区块链智能合约漏洞检测方法[J].通信学报,2023,44(10):164-176,13.基金项目
国家重点研发计划基金资助项目(No.2020YFB1005501) (No.2020YFB1005501)
国家自然科学基金资助项目(No.62172194,No.62202206,No.U1836116) (No.62172194,No.62202206,No.U1836116)
江苏省自然科学基金资助项目(No.BK20220515,No.BK20202001) (No.BK20220515,No.BK20202001)
中国博士后科学基金资助项目(No.2023T160275) (No.2023T160275)
江苏省青蓝工程基金资助项目 The National Key Research and Development Program of China(No.2020YFB1005501),The National Natural Science Foundation of China(No.62172194,No.62202206,No.U1836116),The Natural Science Foundation of Jiangsu Province(No.BK20220515,No.BK20202001),The China Postdoctoral Science Foundation(No.2023T160275),The Qinglan Project of Jiangsu Province (No.2020YFB1005501)