Observation sand Results Gained from the Jade Project

Abstract : This paper summarizes the work done in the course offline Jade project, which deals with automatic debugging of Java programs. Besides a brief introduction to the Jade project, models developed to debug Java programs are evaluated and results are presented. Furthermore, insights gained from the results are discussed and topics for further research are identified.

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

[2]  Eric Horvitz,et al.  Structure and chance: melding logic and probability for software debugging , 1995, CACM.

[3]  Verzekeren Naar Sparen,et al.  Cambridge , 1969, Humphrey Burton: In My Own Time.

[4]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1987, TOPL.

[5]  Franz Wotawa,et al.  Debugging VHDL designs using model-based reasoning , 2000, Artif. Intell. Eng..

[6]  Michael A. Rosenman,et al.  Artificial intelligence: Engineering , 1991 .

[7]  Gregory William Bond.  Logic programs for consistency-based diagnosis , 1994 .

[8]  Markus Stumptner,et al.  Comparing Two Models for Software Debugging , 2001, KI/ÖGAI.

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

[10]  J. W. Gowens.  Applied Artificial Intelligence Seminar , 1989 .

[11]  Markus Stumptner,et al.  Debugging Functional Programs , 1999, IJCAI.

[12]  Daniel Jackson.  Aspect: detecting bugs with abstract dependences , 1995, TSEM.

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

[14]  A. Karimi,et al.  Master‟s thesis , 2011 .

[15]  John E. Hunt,et al.  Model-Based Software Diagnosis , 1998, Appl. Artif. Intell..

[16]  Mark Weiser,et al.  Program Slicing , 1981, IEEE Transactions on Software Engineering.

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

[18]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .