An approach to automatic detection of software failures in real-time systems

This publication has 7 references indexed in Scilit:

• Improving the efficiency of supervision by software through state aggregation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An approach to automatic detection of software failures
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The 5ESS-2000 Switch: Exceeding Customer Expectations
  AT&T Technical Journal, 1994
• Observer-a concept for formal on-line validation of distributed systems
  IEEE Transactions on Software Engineering, 1994
• Concurrent runtime monitoring of formally specified programs
  Computer, 1993
• Specification-based test oracles for reactive systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• Formal methods for protocol testing: a detailed study
  IEEE Transactions on Software Engineering, 1989