尊龙凯时

時間：2023年9月25日

地點：大會議室

主講人：姜宇 清華大學軟件學院-長聘副教授

主持人：王瑞 尊龙凯时信息工程學院教授

主講人簡介：姜宇，研究偏向为软件系统的清静剖析，重点关注操作系统、数据库等软件的测试与防护，在MySQL、Safari和Linux等普遍使用的系统软件中挖掘300+误差被收入中美国家信息清静误差库。在ACM SOSP, IEEE S&P, PLDI等聚会和期刊上揭晓论文100余篇，获EMSOFT, FSE等聚会的最佳论文或提名奖6次，主持基金委优异青年科学基金、科技部重点研发妄想项目、华为大颗粒研究妄想项目等20余项。曾获2015年CCF优异博士论文奖、2020年阿里巴巴达摩院青橙奖，2021年微众学者等奖励。

主講內容簡介：模糊测试是一种有用的缺陷和误差检测手艺,对提升软件系统质量和系统清静有着极其主要的意义, 可是在现实应用中，依然保存一定难点，尤其是无法针对差别类型待测工具高效天生深度路径笼罩的有用输入。一方面，差别的待测工具具有差别输入规范，在特定状态下只有特定的输入才会被接受。另一方面，现有的模糊测试依赖变异指导或文法天生，会天生大宗待测工具无法接受的无用输入或浅路径输入，导致缺陷挖掘效率受限。本报告将围绕模糊测试的现状和上述难点睁开，先容差别待测工具模糊测试的要害手艺和研究实践。