An object store model for diagnosing Java programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3809 LNAI, Issue , 2005, Pages 865-870

  Chen, Rong ^a,b   Wotawa, Franz ^c  

^a DALIAN MARITIME UNIVERSITY   (China)

^b SUN YAT SEN UNIVERSITY   (China)

^c GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR DETECTION; INTELLIGENT AGENTS; MATHEMATICAL MODELS; PROGRAM DEBUGGING; PROGRAM DIAGNOSTICS;

COUNTEREXAMPLES; PROGRAM ERRORS; SOFTWARE SYSTEMS; VERIFICATION;

JAVA PROGRAMMING LANGUAGE;

EID: 33745625390     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11589990_98     Document Type: Conference Paper

References (12)

1. T. Ball, M. Naik, and S.K. Rajamani. From symptom to cause: localizing errors in counterexample traces. In Proc. of POPL, pages 97-105. ACM Press, 2003.
2. William R. Bush, Jonathan D. Pincus, and David J. Sielaff. A static analyzer for finding dynamic programming errors. Software Practice and Experience, 30(7) :775-802, 2000.
3. R. Chen, D. Koeb, and F. Wotawa. Exploring object relations for automated fault localization. Pacific Grove, California, USA, 2005.
4. E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 2000.
5. Brian Demsky and Martin Rinard. Automatic detection and repair of errors in data structures. ACM SIGPLAN Notices, 38(11):78-95, 2003.
6. David L. Detlefs, K. Rustan M. Leino, Greg Nelson, and James B. Saxe. Extended static checking. Technical Report SRC-RR-159, HP Laboratories, 1998.
7. A. Groce. Error explanation with distance metrics. In TACAS, volume 2988 of Lecture Notes in Computer Science. Springer, 2004.
8. Daniel Jackson. Aspect: Detecting Bugs with Abstract Dependences. ACM TOSEM, 4(2):109-145, 1995.
9. W. Mayer, M. Stumptner, D. Wieland, and F. Wotawa. Can ai help to improve debugging substantially? debugging experiences with value-based models. In Proc. ECAI, pages 417-421. IOS Press, 2002.
10. Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-95, 1987.
11. D. Wieland. Model-Based Debugging of Java Programs Using Dependencies. PhD thesis, Vienna University of Technology, Institute of Information Systems (184), Nov. 2001.
12. Andreas Zeller and Ralf Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering, 28(2), 2002.