《表5 修复结果：C/C++程序缺陷自动修复与确认方法》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《C/C++程序缺陷自动修复与确认方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

（3） 由于我们在SKETCH合成中引入了示例程序，这保证了我们的工具修复后的程序是正确的.而对于GenProg和AE，修复的程序仅能通过测试用例.表格中带*的数据表明:修复后的程序通过了测试用例，但不是一个正确的修复.