主 讲 人：朱少民

主讲人简介：同济大学软件学院教授、SQA实验室副主任（2011年3月至今）、中国科技大学软件学院教指委委员。国内软件测试界领军人物、资深专家，出版著作十多部，获得机械工业部、安徽省、青岛市、合肥市等多项科技进步奖。

时间、地点： 2017-03-23 13:30 信息工程学院会议室

主办单位：信息工程学院、科研处

讲座内容：1.动态确定性分析方法；2.不完全的解析技术；3.间接调用识别；4.引入机器学习技术的缺陷检测；5.符号执行；6.基于搜索的测试方法；7.基于模型模型的测试方法；8.基于随机的测试方法；9.生成-验证(Generate-Validate)框架；10.缺陷修复的主要验证方法发生了变化。