信息技术与网络安全2020，Vol.39Issue(1)：14-18,5.DOI:10.19358/j.issn.2096-5133.2020.01.003
基于参数约束的分支覆盖符号执行优化算法
Optimization of branch covering symbol execution based on constraints
摘要
关键词
符号执行/参数约束/测试用例/软件测试分类
计算机与自动化引用本文复制引用
於家伟,李世明,毕雪洁,李秋月,高胜花..基于参数约束的分支覆盖符号执行优化算法[J].信息技术与网络安全,2020,39(1):14-18,5.基金项目
上海市信息安全管理技术研究重点实验室开放课题(AGK2015003) （AGK2015003）
