文明-缺陷自动修复的卡脖子问题

新用户首篇研报专享优惠价

报告摘要

缺陷自动修复的“卡脖子”问题补丁正确性验证技术文明华中科技大学演讲嘉宾文明华中科技大学副教授文明博士主要聚焦软件安全、软件测试与分析、以及代码大模型安全等研究，在软件工程领域累计发表了CCF-A类.