Abdulaziz Alaboudi

Hypothesizer：一种基于假设的调试器用于查找和测试调试假设

Alaboudi 等人开发了 Hypothesizer 基于假设的调试器，通过分析程序行为记录自动生成相关假设和调查计划，将缺陷修复成功率提升5倍，调试时间缩短3倍。