ADA: Concurrent Programming
A probe effect in concurrent programs
Software—Practice & Experience
Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
Debugging distributed C programs by real time reply
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Deterministic execution testing of concurrent Ada programs
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Testing, debugging, and analysis of concurrent software
Testing, debugging, and analysis of concurrent software
ACM Computing Surveys (CSUR)
Models for monitoring and debugging tools for parallel and distributed software
Journal of Parallel and Distributed Computing - Special issue: software tools for parallel programming and visualization
Execution monitoring and debugging tool for Ada using relational algebra
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
A window based visual debugger for a real time Ada tasking environment
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Toward a discipline of real-time programming
Communications of the ACM
A graphical notation for describing executions of concurrent Ada programs
ACM SIGAda Ada Letters
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
A bibliography of parallel debuggers, 1993 edition
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Towards target-level testing and debugging tools for embedded software
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Optimal tracing and replay for debugging shared-memory parallel programs
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Testing races in parallel programs with an OtOt strategy
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
Testing real-time constraints in a process algebraic setting
Proceedings of the 17th international conference on Software engineering
An incremental approach to structural testing of concurrent software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Replay for concurrent non-deterministic shared-memory applications
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Deterministic replay of Java multithreaded applications
SPDT '98 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Broad-spectrum studies of log file analysis
Proceedings of the 22nd international conference on Software engineering
Scenario-Based Hypersequential Programming
International Journal of Parallel Programming - Special issue on international symposium on high performance computing 1997, part I
Incremental Integration Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Hypersequential Programming: A New Way to Develop Concurrent Programs
IEEE Parallel & Distributed Technology: Systems & Technology
Replay and Testing for Concurrent Programs
IEEE Software
A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Notes on Nondeterminism in Message Passing Programs
Proceedings of the 9th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Optimistic Recovery in Multi-Threaded Distributed Systems
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Task decomposition testing and metrics for concurrent programs
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
A Concurrency Test Tool for Java Monitors
Proceedings of the 16th IEEE international conference on Automated software engineering
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
Selective capture and replay of program executions
WODA '05 Proceedings of the third international workshop on Dynamic analysis
Reachability Testing of Concurrent Programs
IEEE Transactions on Software Engineering
JVM Independent Replay in Java
Electronic Notes in Theoretical Computer Science (ENTCS)
Checking experiments for stream X-machines
Theoretical Computer Science
Extensible transactional memory testbed
Journal of Parallel and Distributed Computing
Using deterministic replay for debugging of distributed real-time systems
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
| Hi-index | 0.00 |
A language-based approach to deterministic execution debugging of concurrent Ada programs is presented. The approach is to define synchronization (SYN)-sequences of a concurrent Ada program in terms of Ada language constructs and to replay such SYN-sequences without the need for system-dependent debugging tools. It is shown how to define a SYN-sequence of a concurrent Ada program in order to provide sufficient information for deterministic execution. It is also shown how to transform a concurrent Ada program P so that the SYN-sequences of previous executions of P can be replayed. This transformation adds an Ada task to P that controls program execution by synchronizing with the original tasks in P. A brief description is given of the implementation of tools supporting deterministic execution debugging of concurrent Ada programs.