电脑体验，效果更佳

程绍银图谱-自然科学领域：

相关人员

张晓菲 蒋凡 王嘉捷 林锦滨

研究领域

约束求解 按需符号执行 测试生成 缺陷发现 软件缺陷 补丁 软件演进 静态分析

所属机构

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

标签云