计算机工程与科学2018，Vol.40Issue(A01)：P.163-168,6.
Angr动态软件测试应用分析与优化
摘要
关键词
软件测试/符号化执行/Angr分类
信息技术与安全科学引用本文复制引用
宋丛溪,王辛,张文喆..Angr动态软件测试应用分析与优化[J].计算机工程与科学,2018,40(A01):P.163-168,6.基金项目
国家重点研发计划(2016YFB0200400) （2016YFB0200400）
国防科技卓越人才项目(2017-JCJQ-ZQ-013) （2017-JCJQ-ZQ-013）
湖南省科技领军人才项目(2017RS3045) （2017RS3045）
国防科技大学本科教育教学研究课题(U2015013) （U2015013）
国防科技大学研究生教育教学改革研究课题(yjsy2016012) （yjsy2016012）
湖南省学位与研究生教育教学改革研究项目(JG2017B004) （JG2017B004）
