A noninterference monitoring and replay mechanism for real-time software testing and debugging
- 1 January 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 16 (8), 897-916
- https://doi.org/10.1109/32.57626
Abstract
No abstract availableThis publication has 28 references indexed in Scilit:
- A knowledge-based debugger for real-time software systems based on a noninterference testing architecturePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A noninvasive architecture to monitor real-time distributed systemsComputer, 1990
- A hybrid monitor for behavior and performance analysis of distributed systemsIEEE Transactions on Software Engineering, 1990
- A software instruction counterPublished by Association for Computing Machinery (ACM) ,1989
- Handling timing errors in distributed programsIEEE Transactions on Software Engineering, 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
- Debugging Ada Tasking ProgramsIEEE Software, 1985
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975