[05-04]SKLCS Seminar on “解密模糊测试的基础机制"
文章来源： | 发布时间：2023-05-04 | 【打印】 【关闭】
| Title: | 解密模糊测试的基础机制 |
| Speaker: | 张煜群 助理教授，南方科技大学 |
| Time: | 5月4日（周四）下午2:30 |
| Venue: | 中科院软件园区5号楼3层334会议室 |
| Abstract: | 模糊测试是时下流行的程序安全漏洞检测技术。它通过将自动或半自动生成的随机数据输入到一个程序中，并监视程序异常，如崩溃，断言（assertion）失败，以发现可能的比如内存泄漏等程序错误。尽管近年来模糊测试研究成果与日俱增，其一些典型的基础机制却并未得到深入的理解和挖掘。本报告从针对结合深度神经网络的模糊测试机制实证分析出发，进一步的研究随机策略在模糊测试中的作用，为通用模糊测试的技术路线发展提供新的视角。 |
| Bio: | 张煜群，2017年2月加入南方科技大学计算机科学与工程系任助理教授。2016年12月于美国德克萨斯大学奥斯汀分校电子计算机工程系获得博士学位。研究领域为软件工程，现研究课题包括模糊测试、污点分析、代码预训练模型等。他迄今为止共发表论文40余篇，包括TSE, TOSEM, TPDS, ICSE, ISSTA, ASE, DAC等国际著名期刊会议论文20余篇，并在ISSTA'19上获得ACM SIGSOFT杰出论文奖。他还多次担任如 ISSRE, ICSE Demo等软件工程著名会议的程序委员会委员。 |
