Does Great Power Come with Great Explainability? Comparing Explanation Strategies for Automated Program Diagnosis
Debugging is an important activity in software development, yet providing actionable and comprehensible explanations for program failures remains challenging. Automated tools such as ALHAZEN and AVICENNA address this by using distinct strategies: ALHAZEN employs binary decision trees to show failure-inducing conditions...