报告主题:Toward Better Evolutionary Program Repair: An Integrated Approach
报告时间:
2023年7月6日15:50-16:35
报告地点:
人工智能与计算机学院3楼报告厅(B310)
主讲人:
袁源,北京航空航天大学教授,博士生导师,国家海外高层次青年人才入选者。主要研究方向为计算智能、进化计算、智能软件工程、多目标优化。2015年博士毕业于清华大学计算机系,毕业后先后在新加坡南洋理工大学和美国密歇根州立大学从事博士后研究工作。已在AIJ、IEEE TEVC、IEEE TSE、ACM TOSEM、GECCO等人工智能和软件工程方向的重要期刊和会议上发表论文40余篇 (据谷歌学术统计总引用3000余次),4篇论文入选ESI高被引论文,1篇论文入选中国百篇最具影响国际学术论文。目前担任IEEE TETCI 期刊编委(Associate Editor),曾任 IEEE TITS、IEEE TETCI等多个重要国际期刊的客座编辑(Guest Editor)。曾获得北京市优秀毕业生、中国物流与采购联合会科技发明一等奖等荣誉。
报告摘要:
Bug repair is a major component of software maintenance, which requires a huge amount of manpower. Evolutionary computation, particularly genetic programming, is a class of promising techniques for automating this time-consuming and expensive process. Although recent research in evolutionary program repair has made significant progress, major challenges still remain. In this talk, I will first introduce the background of evolutionary program repair by focusing on a classic repair system called GenProg. Then, I will introduce our recent work ARJA, a new evolutionary repair system for Java, which aims to address challenges for the search space, search algorithm, and patch ranking in program repair. Finally, I will present the evaluation results of ARJA on 224 real-world Java bugs, in order to demonstrate its superiority over a number of advanced repair techniques.