The design and implementation of a run-time analysis and interactive debugging environment.

A Debugger for Ada Tasking

IEEE Transactions on Software Engineering

Sequential Debugging at a High Level of Abstraction

IEEE Software

Generalized path expressions: A high level debugging mechanism (Preliminary Draft)

SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging

Viewing a programming environment as a single tool

SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

The design of a high-level, language-independent symbolic debugging system

ACM '77 Proceedings of the 1977 annual conference