The practical guide to structured systems design: 2nd edition
The practical guide to structured systems design: 2nd edition
One more time — how to update a master file
Communications of the ACM
Modularity and the sequential file update problem
Communications of the ACM
Programming in Pascal with Pascal 1000
Programming in Pascal with Pascal 1000
Program slices: formal, psychological, and practical investigations of an automatic program abstraction method
PELAS-Program Error-Locating Assistant System
IEEE Transactions on Software Engineering
A review of automated debugging systems: knowledge, strategies and techniques
ICSE '88 Proceedings of the 10th international conference on Software engineering
Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs
IEEE Transactions on Software Engineering
A controlled experiment with software for teaching Ada tasking
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Intelligent Analysis and Off-Line Debugging of VLSI Device Test Programs
Journal of Electronic Testing: Theory and Applications
Forensic debugging of model transformations
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
Fault localization in program debugging is the process of identifying program statements which cause anomalous behavior. We have developed a prototype, knowledge-based model of the fault localization process. Novel features of the model include multiple localization tactics and a recognition-based mechanism for program abstraction. An explicit division of knowledge from the applications, programming and language domains facilitate model tuning within as well as across applications domains. We describe model structure and performance for a class of faults associated with master file update programs. We foresee applications of the model as an initial cognitive theory of expertise in fault localization and as a partially automated debugging tool.