一句话：提出自动推断程序失败原因与条件的语义调试技术，并实现 AVICENNA 原型。
程序失败原因往往难以自动解释，尤其当失败取决于复杂输入条件时。本文提出一种通用的语义调试技术：将失败原因表示为输入元素上的逻辑性质，例如“int() > len() 时程序失败”；通过现代性质推断方法从通过和失败的输入中学习候选诊断，并借助约束求解器生成支持性测试用例来验证与精化假设。AVICENNA 原型能够为复杂失败条件生成简洁且富有表达力的诊断，其质量接近人类专家，并显著优于现有最先进方法。
Why does my program fail? We present a novel and general technique to automatically determine failure causes and conditions, using logical properties over input elements: “The program fails if and only if int() > len() holds—that is, the given is larger than the length.” Our AVICENNA prototype uses modern techniques for inferring properties of passing and failing inputs and validating and refining hypotheses by having a constraint solver generate supporting test cases to obtain such diagnoses. As a result, AVICENNA produces crisp and expressive diagnoses even for complex failure conditions, considerably improving over the state of the art with diagnoses close to those of human experts.