报告题目:基于学习的程序缺陷自动修复技术
报告人:张路 教授
主持人:蒲戈光
报告时间: 2017年12月1号周五15:00—16:30
报告地点:中北校区数学馆201
报告人简介:
张路,国家杰青,北京大学教授、博士生导师。师从杨芙清教授。曾获2006年国家科技进步二等奖(排名第6)、2009年北京市科学技术奖技术发明类二等奖(排名第4)、2010年教育部自然科学一等奖(排名第3)、2010年中创软件人才奖。入选教育部2008年度“新世纪优秀人才支持计划”。担任国际期刊Software Testing, Verification and Reliability和Journal of Software Maintenance and Evolution: Research and Practice编委,和Information and Software Technology (2009)的Guest Editor,以及多个国际学术会议程序委员会委员。研究方向为迭代式软件开发中的软件分析与测试,包括提高迭代式软件开发自动化程度的方法与技术,迭代式软件开发的支撑技以及迭代式软件开发的测试优化技术。在软件工程三大顶级会议ICSE、FSE、ASE上发表论文30余篇。
报告摘要:
程序缺陷自动修复是近年来软件工程界的研究热点之一。自2009年针对大型开源程序的成功实践以来,程序自动修复方向吸引了一批研究机构和学者。
报告介绍北京大学张路教授领导的小组在缺陷自动修复方面开展研究工作的思路、实践和结果,并对介绍最新的研究进展基于学习的缺陷修复技术以及对未来发展方向进行展望。