近日，bat365中文官网登录入口2021级专业学位硕士研究生邓文静应邀参加了第45届国际软件工程大会（International Conference on Software Engineering ，简称ICSE 2023），并在国际计算机协会(ACM)学生学术竞赛（Student Research Competition，简称ACM SRC）中获得研究生组银奖。

ICSE ACM SRC的评委主席在会场颁奖

ACM SRC学术竞赛每年在各个国际顶级学术会议（如ICSE、FSE、OPSALA等）举办，分为研究生组和本科生组，由ACM主办，Microsoft 赞助。每年举办一次的国际软件工程大会是目前全球顶级的国际软件工程会议，被中国计算机协会评定为A类会议，旨在为学术界研究者、工业界实践者以及教育学者提供一个展示、交流最新研究成果的平台。

本届大会在澳大利亚墨尔本召开。大赛分为三个环节：提交研究论文、以海报形式在会场中展示研究成果、以Slides的形式介绍研究并在线答辩。邓文静最终得到了评委的高度肯定，并获得了第二名的好成绩。

ICSE2023的电子展板

师从学院执行院长蒲戈光教授的邓文静，以“AIGROW: A Feedback-driven Generation-based Framework for Hardware Model Checkers”为参赛论文题目, 与团队成员创新性地提出了一种针对硬件模型检查器的测试用例生成方法。利用反馈引导测试用例递增生成的方法，结果显示该方法显著优于现存生成器。

团队自主研发的高效测试用例生成器

来源｜邓文静

编辑｜俞思远

审核｜曹桂涛