NDLI: Automated error diagnosis using abductive inference

Content Provider	ACM Digital Library
Author	Dillig, Thomas Dillig, Isil Aiken, Alex
Abstract	When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually classify the report, but this task is time-consuming, error-prone, and does not utilize facts already proven by the analysis. We present a new technique for assisting users in classifying error reports. Our technique computes small, relevant queries presented to a user that capture exactly the information the analysis is missing to either discharge or validate the error. Our insight is that identifying these missing facts is an instance of the abductive inference problem in logic, and we present a new algorithm for computing the smallest and most general abductions in this setting. We perform the first user study to rigorously evaluate the accuracy and effort involved in manual classification of error reports. Our study demonstrates that our new technique is very useful for improving both the speed and accuracy of error report classification. Specifically, our approach improves classification accuracy from 33% to 90% and reduces the time programmers take to classify error reports from approximately 5 minutes to under 1 minute.
Starting Page	181
Ending Page	192
Page Count	12
File Format	PDF
ISSN	03621340 15581160
DOI	10.1145/2345156.2254087
Journal	ACM SIGPLAN Notices (SIGP)
Volume Number	47
Issue Number	6
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1983-05-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Static analysis Error diagnosis Abductive inference
Content Type	Text
Resource Type	Article
Subject	Computer Graphics and Computer-Aided Design Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Inductive invariant generation via abductive inference

Static error detection using semantic inconsistency inference

Automated error diagnosis using abductive inference

Toward general diagnosis of static errors

Static specification inference using predicate mining

A practical framework for type inference error explanation

Termination and non-termination specification inference

Diagnosing type errors with class

Type refinement for static analysis of JavaScript

Automated error diagnosis using abductive inference

Similar Documents

Inductive invariant generation via abductive inference

Static error detection using semantic inconsistency inference

Automated error diagnosis using abductive inference

Toward general diagnosis of static errors

Static specification inference using predicate mining

A practical framework for type inference error explanation

Termination and non-termination specification inference

Diagnosing type errors with class

Type refinement for static analysis of JavaScript

Automated error diagnosis using abductive inference