ACM Computing Surveys (CSUR)
Task-wait-for graphs and their application to handling tasking deadlocks
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Algorithmic Program DeBugging
The Task Dependence Net in Ada software development
ACM SIGAda Ada Letters
A Study of Strategies for Computerized Critiquing of Programmers
Empirical Software Engineering
Retooling and securing systemic debugging
NordSec'12 Proceedings of the 17th Nordic conference on Secure IT Systems
| Hi-index | 0.00 |
The state of the art of debugging is examined. A debugged process model that serves as the basis of a general debugging framework is described. The relationship of the model to traditional debugging processes and support tools is discussed. A minimal set of requirements for a general debugging framework is described in terms of both the theory behind debugging methodologies and the support tools. An execution monitor, Eden, that serves as a debugging tool within this general framework is described.