DynaMICs: an automated and independent software-fault detection approach

This publication has 14 references indexed in Scilit:

• The identification of integrity constraints in requirements for context monitoring
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Ensuring critical event sequences in high consequence computer based systems as inspired by path expressions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Toward integrated methods for high-assurance systems
  Computer, 1998
• Safety-critical systems built with COTS
  Computer, 1996
• Analysis of real-time rule-based systems with behavioral constraint assertions specified in Estella
  IEEE Transactions on Software Engineering, 1993
• Performance assertion checking
  Published by Association for Computing Machinery (ACM) ,1993
• A specificational approach to high level program monitoring and measuring
  IEEE Transactions on Software Engineering, 1992
• An Overview of Anna, a Specification Language for Ada
  IEEE Software, 1985
• Watchdog Processors and Structural Integrity Checking
  IEEE Transactions on Computers, 1982
• Special Feature: Monitoring Program Execution: A Survey
  Computer, 1981