[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等軟件工程著名會議的程序委員會委員。 |
