Using design information to identify structural software faults

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

Volumn 2256, Issue , 2001, Pages 473-486

  Stumptner, Markus ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SOFTWARE; DESIGN; HEURISTIC METHODS; OBJECT ORIENTED PROGRAMMING; PROGRAM DIAGNOSTICS;

DESIGN INFORMATION; EXECUTION SEQUENCES; MODEL BASED DIAGNOSIS; MODEL-BASED DEBUGGING; OBJECT ORIENTED DESIGN; SOFTWARE DEBUGGING; STATE CHART DIAGRAMS; STRUCTURAL FAULTS;

PROGRAM DEBUGGING;

EID: 84944895888     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45656-2_41     Document Type: Conference Paper

References (19)

1. Lisa Burnell and Eric Horvitz. Structure and Chance: Melding Logic and Probability for Software Debugging. Communications of the ACM, pages 31-41.1995.
2. Claudia Bottcher. No faults in structure? How to diagnose hidden interaction. In Proc. IJCAI, Montreal, August 1995.
3. Luca Console, Gerhard Friedrich, and Daniele Theseider Dupré. Modelbased diagnosis meets error diagnosis in logic programs. In Proceedings 13International Joint Con on Artificial Intelligence, Chambery, August 1993.
4. Edmund M. Clarke, Orna Grumberg, and David E. Long. Model Checking and Abstraction. ACM Transactions on Programming Languages and Systems, 16(5): 1512-1542, September 1994.
5. Randall Davis. Diagnostic reasoning based on structure and behavior. Artijicial Intelligence, 24:347-410, 1984.
6. Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Arts- cia1 Intelligence, 32(1):97-130, 1987.
7. Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. Art$cial Intelligence, 111(2):3-39, July 1999.
8. Daniel Jackson. Aspect: Detecting Bugs with Abstract Dependences. ACM Transactions on Software Engineering and Methodology, 4(2): 109-145, April 1995.
9. Bogdan Korel and Jurgen Rilling. Applications of Dynamic Slicing in Program Debugging. In Proceedings of the Third International Workshop on Automatic Debugging (AADEBUG-97), Linkoping, Sweden, 1997.
10. B. Meyer. Applying "Design by Contract". IEEE Computer, 25(10):40-51, October 1992.
11. Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Debugging of Java programs using a model-based approach. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, Loch Awe, Scotland, 1999.
12. Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Modeling Java Programs for Diagnosis. In Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin, Germany, August 2000.
13. Cristinel Mateis, Markus Stumptner, and Franz Wotawa. A Value-Based Diagnosis Model for Java Programs. In Proceedings of the Eleventh International Workshop on Principles of Diagnosis, Morelia, Mexico, June 2000.
14. C. Preist and B. Welham. Modelling bridge faults for diagnosis in electronic circuits. In Proc. DX'90 Workshop, Stanford, 1990.
15. Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-95, 1987.
16. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley Publishing Company, 1999.
17. Ehud Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, Massachusetts, 1983.
18. Markus Stumptner and Franz Wotawa. Debugging Functional Programs. In Proceedings 16International Joint Con on Artificial Intelligence, Stockholm, Sweden, August 1999.
19. Mark Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357, July 1984.