Fundamental issues in testing distributed real-time systems

This publication has 50 references indexed in Scilit:

• Monitoring and debugging distributed realtime programs
  Software: Practice and Experience, 1992
• Software Design for Real-time Systems
  Published by Springer Nature ,1991
• V&V of flight and mission-critical software
  IEEE Software, 1989
• A spiral model of software development and enhancement
  ACM SIGSOFT Software Engineering Notes, 1986
• Advances in software inspections
  IEEE Transactions on Software Engineering, 1986
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• Validation, Verification, and Testing of Computer Software
  ACM Computing Surveys, 1982
• Reproducible testing of monitors
  Software: Practice and Experience, 1978
• Design and code inspections to reduce errors in program development
  IBM Systems Journal, 1976
• Testing a multiprogramming system
  Software: Practice and Experience, 1973