爱荷华州立大学COM S 413/513和CPR E 513程序分析的基础和应用 讲师 魏乐( ),阿塔纳索夫210 办公时间:2021年Spring星期四4-5:30pm,iastate.webex.com/meet/weile 暂定时间表和主题 查找错误(控制流分析,数据流分析,指针分析,过程间分析,抽象解释) 自动测试输入生成(符号执行,模糊测试) 调试和修复(相关性分析,切片,增量调试,基于搜索的算法) 分析软件变更和版本(MVVC,差异分析,测试和调试变更,变更合同) 规范推断(动态分析,不变式,类型状态) 大代码分析(代码嵌入,代码搜索,代码的机器学习) 分析和测试AI软件(用于ML的SE) 致谢 本课程是在美国国家科学基金会(NSF)的资助下