当前研究项目
过往研究项目 ↓算法合成
- 基准测试[FSE24DEMO]
- 合成[PLDI24] [TOPLAS24] [OOPSLA23b]
- 验证[FM24]
程序修复与合成
- 研究展望与实证研究[SCIS19a] [SCIS19b]
- 搜索空间的定义[FSE21b] [ASE19a] [ISSTA18a] [ASE15]
- 搜索空间中的候选定位[OOPSLA23a] [TOSEM22] [OOPSLA21] [OOPSLA20] [GI18] [ICSE18a] [ICSE17a]
- 交互[ICSME21] [PLDI20] [ISSRE19]
- 验证与补丁生成[TSE24] [ASE23Demo] [ASE21] [ISSTA17] [Interwa17]
- 特定缺陷类型[ASE23] [ICSE15a]