爱荷华州立大学COM S 413/513和CPR E 513程序分析的基础和应用 讲师 魏乐（ ），阿塔纳索夫210 办公时间：2021年Spring星期四4-5：30pm，iastate.webex.com/meet/weile 暂定时间表和主题 查找错误（控制流分析，数据流分析，指针分析，过程间分析，抽象解释） 自动测试输入生成（符号执行，模糊测试） 调试和修复（相关性分析，切片，增量调试，基于搜索的算法） 分析软件变更和版本（MVVC，差异分析，测试和调试变更，变更合同） 规范