A programming environment for CSP
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
A mechanism for efficient debugging of parallel programs
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Debugging concurrent processes: a case study
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Description for a Tool Specifying and Prototyping Concurrent Programs
IEEE Transactions on Software Engineering
DEBL: a knowledge-based language for specifying and debugging distributed programs
Communications of the ACM - Special issue: multiprocessing
A mechanism for efficient debugging of parallel programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Partial orders for parallel debugging
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Debugging parallel programs in parallel
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
A graphical representation of concurrent processes
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Interactive blackbox debugging for concurrent languages
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
An algebraic specification of the partial orders generated by concurrent Ada computations
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
DEBL: a knowledge-based language for specifying and debugging programs
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Models for visualization in parallel debuggers
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
ACM Computing Surveys (CSUR)
A bibliography of parallel debuggers, 1990 edition
ACM SIGPLAN Notices
High-level language debugging for concurrent programs
ACM Transactions on Computer Systems (TOCS)
Testing races in parallel programs with an OtOt strategy
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
Fundamentals of Distributed System Observation
IEEE Software
Distributed Performance Monitoring: Methods, Tools, and Applications
IEEE Transactions on Parallel and Distributed Systems
Computer Communications
Using SPIN for automated debugging of infinite executions of Java programs
Journal of Systems and Software
Hi-index | 0.01 |