,
Fault Injection for Dependability Validation-A Methodology and Some Applications, IEEE Transactions on Software Engineering, vol.16, issue.2, pp.166-182, 1990. ,
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. ,
,
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems, IEEE Transactions on Computers, vol.42, issue.8, pp.913-923, 1993. ,
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
Fault Injection Spot-checks Computer System Dependability, IEEE Spectrum, vol.36, pp.50-55, 1999. ,
DOI : 10.1109/6.780999
Fault Injection Techniques and Tools, Computer, vol.30, issue.4, pp.75-82, 1997. ,
Preliminary Dependability Benchmark Framework, DBench Project IST 2000-25425 Deliverable. CF2, Available at, 2001. ,
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. ,
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
Generation of an Error Set that Emulates Software Faults-Based on Field Data, 26th Int. Symp. on Fault Tolerant Computing, 1996. ,
, 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.
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. ,
Linux as a case study: Its Extracted Software Architecture, 21st Int. Conf. on Sofware Engineering, 1999. ,
MAFALDA: Microkernel Assessment by Fault Injection and Design Aid, Proc. 3rd European Dependable Computing Conf. (EDCC-3), pp.143-160, 1999. ,
Comparing the Robustness of POSIX Operating Systems, Proc. 29th Int. Symp. on Fault-Tolerant Computing (FTCS-29), pp.30-37, 1999. ,
Orthogonal Defect Classification-A Concept for In-Process Measurements, IEEE Transactions of software engineering, vol.18, issue.11, pp.943-956, 1992. ,
,
Comparing Operating Systems using Robustness Benchmarks, Proc. 16th Int. Symp. o n Reliable Distributed Systems (SRDS-16), pp.72-79, 1997. ,