Assessment of COTS microkernels by fault injection

This publication has 14 references indexed in Scilit:

• FIAT-fault injection based automated testing environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Can we rely on COTS microkernels for building fault-tolerant systems?
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Comparing operating systems using robustness benchmarks
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Certifying off-the-shelf software components
  Computer, 1998
• Automated robustness testing of off-the-shelf software components
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1998
• Measuring software dependability by robustness benchmarking
  IEEE Transactions on Software Engineering, 1997
• Fault injection techniques and tools
  Computer, 1997
• FERRARI: a flexible software-based fault and error injection system
  IEEE Transactions on Computers, 1995
• FINE: A fault injection and monitoring environment for tracing the UNIX system behavior under faults
  IEEE Transactions on Software Engineering, 1993
• Fault injection for dependability validation: a methodology and some applications
  IEEE Transactions on Software Engineering, 1990