计算机工程与应用2020，Vol.56Issue(21)：231-236,6.DOI:10.3778/j.issn.1002-8331.1908-0142
遗传算法辅助的动态符号执行测试方法
Dynamic Symbolic Execution Based on Assistance of Genetic Algorithm
摘要
关键词
动态符号执行/约束求解/路径覆盖/遗传算法分类
信息技术与安全科学引用本文复制引用
谢章伟,崔展齐,郑丽伟,张志华..遗传算法辅助的动态符号执行测试方法[J].计算机工程与应用,2020,56(21):231-236,6.基金项目
国家自然科学基金(No.61702041) （No.61702041）
北京市教委科技计划(No.KM201811232016) （No.KM201811232016）
北京信息科技大学"勤信人才"培育计划(No.QXTCP C201906) （No.QXTCP C201906）
网络文化与数字传播北京市重点实验室开放课题(No.ICDD2017XX) （No.ICDD2017XX）
北京信息科技大学促进高校内涵发展——信息+项目-面向大数据的竞争情报分析关键技术研究. （）
