A replay mechanism for non-interference real-time software testing and debugging
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- IGOR: a system for program debugging via reversible executionPublished by Association for Computing Machinery (ACM) ,1988
- Debugging concurrent processes: a case studyPublished by Association for Computing Machinery (ACM) ,1988
- A mechanism for efficient debugging of parallel programsPublished by Association for Computing Machinery (ACM) ,1988
- Debugging Parallel Programs with Instant ReplayIEEE Transactions on Computers, 1987
- Monitoring distributed systemsACM Transactions on Computer Systems, 1987
- Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating ThemIEEE Transactions on Software Engineering, 1985
- Real-Time Execution MonitoringIEEE Transactions on Software Engineering, 1984
- A debugging tool for real time software: The non repeated runs approachAnnual Review in Automatic Programming, 1981
- Real-timeCommunications of the ACM, 1980
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975