动态符号执行

符号模型检测论文-陈莉娟,喻金龙
导读:本文包含了符号模型检测论文开题报告文献综述及选题提纲参考文献，主要关键词:动态符号执行,代码安全缺陷分类,路径搜索,路径约束求解符号模型检测论文文献综述陈莉娟,喻金龙[1...
程序测试论文-曹阳
导读:本文包含了程序测试论文开题报告文献综述及选题提纲参考文献，主要关键词:程序测试输入的自动生成,模糊测试,动态符号执行程序测试论文文献综述曹阳[1]（2019）在《程序测试...