Usability criteria for automated debugging systems
References (26)
- et al.
Laura, A System to Debug Student Programs
Artificial Intelligence
(1980) Symbolic Debugging Through Incremental Compilation in an Integrated Environment
J. Syst. Software
(1983)- et al.
Using Assertions in Declarative and Operational Models for Automated Debugging
J. Syst. Software
(1994) Understanding and Debugging Programs
Int. J. Man-Machine Stud.
(1980)- et al.
Dynamic Program Slicing
Abstract views of Prolog executions in Opium
A pragmatic survey of automated debugging
- et al.
A review of automated debugging systems: Knowledge, strategies, and techniques
- et al.
The use of assertions in algorithmic debugging
- et al.
Generalized algorithmic debugging and testing
Proust: Knowledge-Based Program Understanding
IEEE Trans. Software Eng.
(1985)
Interprocedural Dynamic Slicing with Applications to Debugging and Testing
Bug localization by algorithmic debugging and program slicing
Cited by (6)
Principles of Object Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical Approach
2014, Principles of Object Oriented Modeling and Simulation with Modelica 3.3: A Cyber-Physical ApproachOn the use of constraints in dynamic slicing for program debugging
2011, Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011Fault localization based on dynamic slicing and hitting-set computation
2010, Proceedings - International Conference on Quality SoftwareLocalizing bugs in programs: Or how to use a program's constraint representation for software debugging?
2008, ICSOFT 2008 - Proceedings of the 3rd International Conference on Software and Data TechnologiesOn the compilation of programs into their equivalent constraint representation
2008, Informatica (Ljubljana)Bridging the gap between slicing and model-based diagnosis
2008, 20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008
Copyright © 1995 Published by Elsevier Inc.