Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Program Style, Design, Efficiency, DeBugging and Testing
Program Style, Design, Efficiency, DeBugging and Testing
Maintaining the time in a distributed system
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
The Mathematical Theory of Context-Free Languages
The Mathematical Theory of Context-Free Languages
Software Descriptions with Flow Expressions
IEEE Transactions on Software Engineering
An approach to software system behavior description
Computer Languages
A method for testing distributed systems
EW 2 Proceedings of the 2nd workshop on Making distributed systems work
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
Most extant debugging aids force their users to think about errors in programs from a low-level, unit-at-a-time perspective. Such a perspective is inadequate for debugging large complex systems, particularly distributed systems. In this paper, we present a high-level approach to debugging that offers an alternative to the traditional techniques. We describe a language, edl, developed to support this high-level approach to debugging and outline a set of tools that has been constructed to effect this approach. The paper includes an example illustrating the approach and discusses a number of problems encountered while developing these debugging tools.