A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
A symbolic debugger for real-time embedded Ada software
Software—Practice & Experience
Debugging Concurrent Ada Programs by Deterministic Execution
IEEE Transactions on Software Engineering
Saving traces for Ada debugging
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
An event-driven debugger for Ada
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
| Hi-index | 0.00 |