A noninterference monitoring and replay mechanism for real-time software testing and debugging

This publication has 28 references indexed in Scilit:

• A knowledge-based debugger for real-time software systems based on a noninterference testing architecture
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A noninvasive architecture to monitor real-time distributed systems
  Computer, 1990
• A hybrid monitor for behavior and performance analysis of distributed systems
  IEEE Transactions on Software Engineering, 1990
• A software instruction counter
  Published by Association for Computing Machinery (ACM) ,1989
• Handling timing errors in distributed programs
  IEEE Transactions on Software Engineering, 1988
• A mechanism for efficient debugging of parallel programs
  Published by Association for Computing Machinery (ACM) ,1988
• Debugging Parallel Programs with Instant Replay
  IEEE Transactions on Computers, 1987
• Monitoring distributed systems
  ACM Transactions on Computer Systems, 1987
• Debugging Ada Tasking Programs
  IEEE Software, 1985
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975