电脑体验，效果更佳

符号化执行图谱-计算机领域：

研究人员

张英 李根 卢凯 卢锡城

相关术语

动态自动测试用例生成 整数溢出 高危整数溢出错误 污点分析

符号化执行-兴趣云标签

褚健苏宏业李永进张俊杨学军