Automated error diagnosis using abductive inference

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2012, Pages 181-191

  Dillig, Isil ^a   Dillig, Thomas ^a   Aiken, Alex ^b  

^a Dept of Economics and Thomas Jefferson Program in Public Policy at the College of William and Mary   (United States)

^b Stanford University   (United States)

Author keywords

Abductive inference; Error diagnosis; Static analysis

Indexed keywords

ABDUCTIVE INFERENCE; CLASSIFICATION ACCURACY; ERROR DIAGNOSIS; ERROR PRONES; FALSE ALARMS; MANUAL CLASSIFICATION; PROGRAM VERIFICATION; RELEVANT QUERY; USER STUDY;

COMPUTER PROGRAMMING LANGUAGES; INFERENCE ENGINES;

STATIC ANALYSIS;

EID: 84863480998     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2254064.2254087     Document Type: Conference Paper

References (30)

1. Bessey, A., Block, K., Chelf, B., Chou, A., Fulton, B., Hallem, S., Henri-Gros, C., Kamsky, A., McPeak, S., Engler, D.: A few billion lines of code later: using static analysis to find bugs in the real world. Communications of the ACM 53(2) (2010) 66-75.
2. Dillig, I., Dillig, T., Aiken, A.: Automated error diagnosis using abductive inference (extended version). http://www.cs.wm.edu/̃idillig/ pldi12-extended.pdf.
3. Dillig, I., Dillig, T., McMillan, K., Aiken, A.: Minimum satisfying assignments for SMT. In: To appear in CAV. (2012).
4. Dillig, I., Dillig, T., Aiken, A.: Small formulas for large programs: Online constraint simplification in scalable static analysis. Static Analysis Symposium (SAS) (2010) 236-252.
5. Dillig, I., Dillig, T., Aiken, A.: Fluid updates: Beyond strong vs. weak updates. ESOP (2010) 246-266.
6. Dillig, I., Dillig, T., Aiken, A.: Precise reasoning for programs using containers. POPL (2011) 187-200.
7. Dillig, I., Dillig, T., Aiken, A., Sagiv, M.: Precise and compact modular procedure summaries for heap manipulating programs. In: PLDI. (2011) 567-577.
8. Ball, T., Naik, M., Rajamani, S.: From symptom to cause: localizing errors in counterexample traces. POPL 38(1) (2003) 97-105.
9. Groce, A.: Error explanation with distance metrics. TACAS (2004) 108-122.
10. Jose, M., Majumdar, R.: Cause clue clauses: error localization using maximum satisfiability. In: PLDI, ACM (2011) 437-446.
11. Griesmayer, A., Staber, S., Bloem, R.: Automated fault localization for c programs. Theoretical Computer Science 174(4) (2007) 95-111. (Pubitemid 46777511)
12. Renieres, M., Reiss, S.: Fault localization with nearest neighbor queries. In: ASE. (2003) 30-39.
13. Ravi, K., Somenzi, F.: Minimal assignments for bounded model checking. TACAS (2004) 31-45.
14. Henzinger, T., Jhala, R., Majumdar, R., Sutre, G.: Software verification with blast. Model Checking Software (2003) 624-624.
15. Ball, T., Rajamani, S.: The SLAM project: debugging system software via static analysis. In: POPL, NY, USA (2002) 1-3. (Pubitemid 35009025)
16. Henzinger, T., Jhala, R., Majumdar, R., McMillan, K.: Abstractions from proofs. POPL 39(1) (2004) 232-244.
17. Manevich, R., Sridharan, M., Adams, S., Das, M., Yang, Z.: PSE: explaining program failures via postmortem static analysis. In: FSE. Volume 29., ACM (2004) 63-72. (Pubitemid 40787568)
18. Le, W., Soffa, M.: Path-based fault correlations. In: FSE. (2010) 307- 316.
19. Weimer, W.: Patches as better bug reports. In: GPCE. (2006) 181-190. (Pubitemid 47168637)
20. Weiser, M.: Program slicing. In: ICSE, IEEE Press (1981) 439-449.
21. Korel, B., Laski, J.: Dynamic program slicing. Information Processing Letters 29(3) (1988) 155-163.
22. Sridharan, M., Fink, S., Bodik, R.: Thin slicing. In: PLDI, ACM (2007) 112-122. (Pubitemid 47630680)
23. Beaven, M., Stansifer, R.: Explaining type errors in polymorphic languages. LOPLAS 2(1-4) (1993) 17-30.
24. Haack, C., Wells, J.: Type error slicing in implicitly typed higher-order languages. Programming Languages and Systems (2003) 284-301.
25. Yang, J.: Explaining type errors by finding the source of a type conflict. Trends in Functional Programming (1999) 49-57.
26. Lerner, B., Flower, M., Grossman, D., Chambers, C.: Searching for type-error messages. In: PLDI, ACM (2007) 425-434. (Pubitemid 47630709)
27. Nori, A., Rajamani, S., Tetali, S., Thakur, A.: The yogi project: Software property checking via static analysis and testing. TACAS (2009) 178-181.
28. Godefroid, P., Nori, A., Rajamani, S., Tetali, S.: Compositional maymust program analysis: unleashing the power of alternation. In: POPL. Volume 45., ACM (2010) 43-56.
29. Yorsh, G., Ball, T., Sagiv, M.: Testing, abstraction, theorem proving: better together! In: ISSTA, ACM (2006) 145-156.
30. Dillig, I., Dillig, T., Aiken, A.: Sound, complete and scalable pathsensitive analysis. In: PLDI, ACM (2008) 270-280.