电脑体验，效果更佳

王嘉捷图谱-自然科学领域：

相关人员

程绍银 张晓菲 林锦滨 蒋凡

研究领域

软件缺陷 缺陷发现 软件演进 按需符号执行 回归测试 测试生成 符号执行 静态分析

所属机构

中国信息安全产品测评认证中心 中国科学技术大学计算机科学技术系

标签云