Abstract Interpretation of Programs for Model-Based Debugging

Developing model-based automatic debugging strategies has been an active research area for several years. We present a model-based debugging approach that is based on Abstract Interpretation, a technique borrowed from program analysis. The Abstract Interpretation mechanism is integrated with a classical model-based reasoning engine. We test the approach on sample programs and provide the first experimental comparison with earlier models used for debugging. The results show that the Abstract Interpretation based model provides more precise explanations than previous models or standard non-model based approaches.

[1]  Amy McGovern,et al.  Utile Distinctions for Relational Reinforcement Learning , 2007, IJCAI.

[2]  Jussi Rintanen,et al.  Planning for Temporally Extended Goals as Propositional Satisfiability , 2007, IJCAI.

[3]  Michael Beetz,et al.  Visually Tracking Football Games Based on TV Broadcasts , 2007, IJCAI.

[4]  Richard S. Sutton,et al.  Reinforcement Learning of Local Shape in the Game of Go , 2007, IJCAI.

[5]  François Bourdoncle,et al.  Abstract debugging of higher-order imperative languages , 1993, PLDI '93.

[6]  Markus Stumptner,et al.  Model-Based Diagnosis of Hardware Designs , 1999, Artif. Intell..

[7]  Frank Nielsen,et al.  Real Boosting a la Carte with an Application to Boosting Oblique Decision Tree , 2007, IJCAI.

[8]  Alex Groce,et al.  Explaining abstract counterexamples , 2004, SIGSOFT '04/FSE-12.

[9]  Eric Horvitz,et al.  Selective Supervision: Guiding Supervised Learning with Decision-Theoretic Active Learning , 2007, IJCAI.

[10]  Shimei Pan,et al.  Natural Language Query Recommendation in Conversation Systems , 2007, IJCAI.

[11]  Alex Groce,et al.  What Went Wrong: Explaining Counterexamples , 2003, SPIN.

[12]  Ingrid Zukerman,et al.  A Predictive Approach to Help-Desk Response Generation , 2007, IJCAI.

[13]  Franz Wotawa,et al.  On the relationship between model-based debugging and program slicing , 2002, Artif. Intell..

[14]  Franz Wotawa,et al.  A Value-Based Diagnosis Model for Java Programs , 2000 .

[15]  Daniel Kroening,et al.  Predicate Abstraction of ANSI-C Programs Using SAT , 2004, Formal Methods Syst. Des..

[16]  Boi Faltings,et al.  MB-DPOP: A New Memory-Bounded Algorithm for Distributed Optimization , 2007, IJCAI.

[17]  Sarit Kraus,et al.  Using Focal Point Learning to Improve Tactic Coordination in Human-Machine Interactions , 2007, IJCAI.

[18]  Vishal Soni,et al.  Relational Knowledge with Predictive State Representations , 2007, IJCAI.

[19]  Liviu Badea,et al.  Stable Biclustering of Gene Expression Data with Nonnegative Matrix Factorizations , 2007, IJCAI.

[20]  Claudia Böttcher,et al.  No Faults in Structure? How to Diagnose Hidden Interactions , 1995, IJCAI.

[21]  Luc De Raedt,et al.  On Mining Closed Sets in Multi-Relational Data , 2007, IJCAI.

[22]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[23]  Patrice Perny,et al.  State Space Search for Risk-Averse Agents , 2007, IJCAI.

[24]  Markus Stumptner,et al.  Debugging Program Loops Using Approximate Modeling , 2004, ECAI.

[25]  Peter Tiño,et al.  Metric Properties of Structured Data Visualizations through Generative Probabilistic Modeling , 2007, IJCAI.

[26]  William G. Griswold,et al.  Quickly detecting relevant program invariants , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[27]  Sutanu Chakraborti,et al.  Supervised Latent Semantic Indexing Using Adaptive Sprinkling , 2007, IJCAI.

[28]  Markus Stumptner,et al.  Model-Based Debugging using Multiple Abstract Models , 2003, ArXiv.

[29]  José Ramón Quevedo,et al.  Prediction of Probability of Survival in Critically Ill Patients Optimizing the Area under the ROC Curve , 2007, IJCAI.

[30]  Jochen Renz.  Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone , 2007, IJCAI.

[31]  Reda Alhajj,et al.  State Similarity Based Approach for Improving Performance in RL , 2007, IJCAI.

[32]  Daniele Theseider Dupré,et al.  Model-Based Diagnosis Meets Error Diagnosis in Logic Programs , 1993, IJCAI.

[33]  Andreas Zeller,et al.  Locating causes of program failures , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[34]  Xindong Wu,et al.  Mining Complex Patterns across Sequences with Gap Requirements , 2007, IJCAI.

[35]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[36]  James C. Corbett,et al.  Bandera: extracting finite-state models from Java source code , 2000, ICSE.

[37]  Jérôme Lang,et al.  Vote and Aggregation in Combinatorial Domains with Structured Preferences , 2007, IJCAI.

[38]  Sylvain Lamprier,et al.  SegGen: A Genetic Algorithm for Linear Text Segmentation , 2007, IJCAI.

[39]  Markus Stumptner,et al.  Model-Based Debugging of Java Programs , 2000, AADEBUG.

[40]  Jaime G. Carbonell,et al.  Protein Quaternary Fold Recognition Using Conditional Graphical Models , 2007, IJCAI.

[41]  Vadim Bulitko,et al.  Real-Time Heuristic Search with a Priority Queue , 2007, IJCAI.

[42]  Paola Velardi,et al.  Semantic Indexing of a Competence Map to Support Scientific Collaboration in a Research Community , 2007, IJCAI.

[43]  Yann Chevaleyre,et al.  Reaching Envy-Free States in Distributed Negotiation Settings , 2007, IJCAI.

[44]  Marco Benedetti,et al.  QCSP Made Practical by Virtue of Restricted Quantification , 2007, IJCAI.

[45]  Neelam Gupta,et al.  Automated Debugging Using Path-Based Weakest Preconditions , 2004, FASE.

[46]  Markus Stumptner,et al.  High-Level Observations in Java Debugging , 2004, ECAI.

[47]  Sven Koenig,et al.  Sequential Bundle-Bid Single-Sale Auction Algorithms for Decentralized Control , 2007, IJCAI.

[48]  Doug Downey,et al.  Models of Searching and Browsing: Languages, Studies, and Application , 2007, IJCAI.

[49]  Frank Tip,et al.  A survey of program slicing techniques , 1994, J. Program. Lang..

[50]  Richard E. Korf,et al.  Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem , 2007, IJCAI.

[51]  Srinivasan Umesh,et al.  Speaker-Invariant Features for Automatic Speech Recognition , 2007, IJCAI.

[52]  Michael Dahlin,et al.  Machine Learning for On-Line Hardware Reconfiguration , 2007, IJCAI.

[53]  Kenneth D. Forbus,et al.  Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem , 2007, IJCAI.

[54]  Chitta Baral,et al.  Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning , 2007, IJCAI.

[55]  Benjamin Van Durme,et al.  What You Seek Is What You Get: Extraction of Class Attributes from Query Logs , 2007, IJCAI.

[56]  Markus Stumptner,et al.  Model-Based Debugging - State of the Art And Future Challenges , 2007, V&D@FLoC.