电脑体验，效果更佳

符号执行图谱-自然科学领域：

研究人员

张晓东 刘磊 蒋凡 刘英 叶清 邢学智 章磊 张晓菲 陈亚莎 王嘉捷 廖建华 程绍银

相关术语

静态分析 软件测试 TTCN-3 软件缺陷 UML 高可信软件 可信软件栈 自动并行化 Java语言 约束求解 操作的可交换性 测试生成 补丁 依赖关系 模型驱动测试

标签云