J. Arlat, M. Aguera, L. Amat, Y. Crouzet, and J. ,

J. Fabre, E. Laprie, D. Martins, and . Powell, Fault Injection for Dependability Validation-A Methodology and Some Applications, IEEE Transactions on Software Engineering, vol.16, issue.2, pp.166-182, 1990.

S. Ayache, P. Humbert, E. Conquet, C. Rodriguez, J. Sifakis et al., Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft, Proc. 26th Int. Symp. on Fault-Tolerant Computing (FTCS-26), pp.353-357, 1996.

J. Arlat, A. Costes, Y. Crouzet, J. Laprie, and D. ,

. Powell, Fault Injection and Dependability Evaluation of Fault-Tolerant Systems, IEEE Transactions on Computers, vol.42, issue.8, pp.913-923, 1993.

A. Arazo and Y. Crouzet, Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms, Proc. 7th Int. Conference o n Engineering of Complex Computer Systems (ICECCS'2001), pp.69-79, 2001.
DOI : 10.1109/iceccs.2001.930165

J. V. Carreira, D. Costa, and J. G. Silva, Fault Injection Spot-checks Computer System Dependability, IEEE Spectrum, vol.36, pp.50-55, 1999.
DOI : 10.1109/6.780999

M. Hsueh, T. K. Tsai, and R. K. Iyer, Fault Injection Techniques and Tools, Computer, vol.30, issue.4, pp.75-82, 1997.

H. Madeira, K. Kanoun, J. Arlat, Y. Crouzet, A. Johanson et al., Preliminary Dependability Benchmark Framework, DBench Project IST 2000-25425 Deliverable. CF2, Available at, 2001.

T. Jarboui, J. Arlat, Y. Crouzet, and K. Kanoun, Experimental Analysis of the Errors Induced into Linux b y Three Fault Injection Techniques, Proc. Int. Conf. o n Dependable Systems and Networks (DSN-2002, 2002.

P. Cheynet, B. Nicolescu, R. Velazco, M. Rebaudengo, M. Sonza-reorda et al., Experimentally Evaluating an Automatic Approach for Generating Safety-Critical Software with respect to Transient Errors, IEEE Transactions on Nuclear Science, vol.47, issue.6, pp.2231-2236, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00008220

J. Christmansson and R. Chillarege, Generation of an Error Set that Emulates Software Faults-Based on Field Data, 26th Int. Symp. on Fault Tolerant Computing, 1996.

H. Madeira, D. Costa, and M. Vieira, On the Emulation of Software Faults by Software Fault Injection", i n Proc. Int. Conference on Dependable Systems and Networks (DSN-2000), pp.417-426, 2000.

I. Lee, R. K. Iyer, ;. Engler, B. Chelf, A. Chou et al., Checking System Rules Using System-Specific ProgrammerWritten Compiler Extensions, Proc. 4th Symp. o n Operating Systems Design and Implementation (OSDI-2000), vol.21, pp.455-467, 1995.

I. T. Bowman, R. C. Holt, N. V. Brewster, and ;. Devera, Linux as a case study: Its Extracted Software Architecture, 21st Int. Conf. on Sofware Engineering, 1999.

M. Rodríguez, F. Salles, J. Fabre, and J. Arlat, MAFALDA: Microkernel Assessment by Fault Injection and Design Aid, Proc. 3rd European Dependable Computing Conf. (EDCC-3), pp.143-160, 1999.

P. Koopman and J. Devale, Comparing the Robustness of POSIX Operating Systems, Proc. 29th Int. Symp. on Fault-Tolerant Computing (FTCS-29), pp.30-37, 1999.

R. Chillarege, I. S. Bhandari, J. K. Chaar, M. J. Halliday, D. S. Moebus et al., Orthogonal Defect Classification-A Concept for In-Process Measurements, IEEE Transactions of software engineering, vol.18, issue.11, pp.943-956, 1992.

P. J. Koopman, J. Sung, C. Dingman, and D. P. ,

T. Siewiorek and . Marz, Comparing Operating Systems using Robustness Benchmarks, Proc. 16th Int. Symp. o n Reliable Distributed Systems (SRDS-16), pp.72-79, 1997.