. Bibliographie and . Arlat, Composants logiciels et sûreté de fonctionnement : Intégration de COTS Fault injection and dependability evaluation of fault-tolerant systems, Hermès. IEEE Transactions on Computers, vol.7, issue.1118, pp.119-42913, 1993.

. Arlat, Dependability of COTS microkernel-based systems, IEEE Transactions on Computers, vol.51, issue.2, pp.138-163, 2002.
DOI : 10.1109/12.980005

S. Bellovin, RFC 3514 : The security flag in the IPv4 header. Documentation, Internet Engineering Taskforce, p.110, 2003.

M. W. Bigrigg and J. J. Vos, The set-check-use methodology for detecting error propagation failures in I/O routines, Proceedings of the Workshop on Dependability Benchmarking (DSN'2002), p.122, 2002.

. Carreira, Xception: a technique for the experimental evaluation of dependability in modern computers, IEEE Transactions on Software Engineering, vol.24, issue.2, pp.125-136, 1998.
DOI : 10.1109/32.666826

P. Chevalley and P. Thévenod-fosse, A mutation analysis tool for Java programs, International Journal on Software Tools for Technology Transfer, vol.7, issue.1, p.52, 2002.
DOI : 10.1007/s10009-002-0099-9

&. Chevochot, P. Puaut-chevochot, and I. Puaut, Experimental evaluation of the fail-silent behavior of a distributed real-time run-time support built from COTS components, Proceedings International Conference on Dependable Systems and Networks, pp.304-313, 2001.
DOI : 10.1109/DSN.2001.941415

Á. Cheynet, 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.
DOI : 10.1109/23.903758

URL : https://hal.archives-ouvertes.fr/hal-00008220

&. Thévenod-fosse-thévenod-fosse and P. , Software error analysis : a real case study involving real faults and mutations, Proc. of the International Symposium on Software Testing and analysis, pp.158-171, 1996.

S. Dawson and F. Jahanian, Probing and Fault Injection of Dependable Distributed Protocols, The Computer Journal, vol.38, issue.4, pp.286-300, 1995.
DOI : 10.1093/comjnl/38.4.286

E. Fuchs, . Iso, . Iec-jtc1-/-sc21, . Itu-t-rec, N. A. Kanawati et al., Validating the fail-silence of the MARS architecture Working Conference on Dependable Computing for Critical Applications : DCCA-6 Reference model of open distributed processing901 -X.904 Sûreté de Fonctionnement de Systèmes Informatiques : Étalonnage et représentativité des fautes Software security assessment through specification mutations and fault injection, Proc. Int Proceedings of Communications and Multimedia Security Issues of the New Century / IFIP TC6/TC11 Fifth Joint Working Conference on Communications and Multimedia Security (CMS'01), pp.225-247, 1992.

J. Folkesson, P. Arlat, J. Crouzet, Y. Leber, G. Reisinger et al., Application of three physical fault injection techniques to the experimental assessment of the MARS architecture, FERRARI : A tool for the validation of system dependability properties Proc. of the International Symposium on Fault-Tolerant Computing (FTCS'92) Proc. Working Conference on Dependable Computing for Critical Applications : DCCA-6, pp.336-344, 1998.

&. Koopman, P. J. Devale-]-koopman, and J. Devale, Comparing the robustness of POSIX operating systems, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352), pp.30-37, 1999.
DOI : 10.1109/FTCS.1999.781031

R. Haagens, RFC 3347 : Small computer systems interface protocol over the internet (iscsi) requirements and design considerations, p.121, 2002.

J. C. Laprie, Dependable computing : Concepts, limits, challenges, 25th IEEE International Symposium on Fault-Tolerant Computing -Special Issue, pp.42-54, 1995.
DOI : 10.1109/cmpsac.2004.1342838

. Madeira, On the emulation of software faults by software fault injection, Proceeding International Conference on Dependable Systems and Networks. DSN 2000, pp.417-426, 2000.
DOI : 10.1109/ICDSN.2000.857571

E. Marsden-&-fabre-marsden and J. Fabre, Failure mode analysis of CORBA Service Implementations, Proc. of the International Conference on Distributed Systems Platforms (Middleware'2001), volume 2218 of Lecture Notes in Computer Science, p.85, 2001.

. Marsden, Characterization approaches for CORBA systems by fault injection, Proc. of the Workshop on Dependable Middleware-Based Systems, p.44, 2002.

. Marsden, Dependability of CORBA systems: service characterization by fault injection, 21st IEEE Symposium on Reliable Distributed Systems, 2002. Proceedings., p.88, 2002.
DOI : 10.1109/RELDIS.2002.1180198

. Marsden, Dependability Characterization of Middleware Services, Design and Analysis of Distributed Embedded Systems, IFIP 17 th World Computer Congress -TC10 Stream on Distributed and Parallel Embedded Systems IFIP Conference Proceedings, p.73, 2002.
DOI : 10.1007/978-0-387-35599-3_13

. Miller, An empirical study of the reliability of UNIX utilities, Communications of the ACM, vol.33, issue.12, pp.32-44, 1990.
DOI : 10.1145/96267.96279

. Pan, Robustness testing and hardening of CORBA ORB implementations, Proc. of the International Conference on Dependable Systems and Networks, pp.98-112, 2001.

. Rimén, On microprocessor error behavior modeling, Proceedings of IEEE 24th International Symposium on Fault- Tolerant Computing, pp.76-85, 1994.
DOI : 10.1109/FTCS.1994.315655

J. Ruiz-garcía, Contribution à la validation des systèmes réflexifs tolérants aux fautes : stratégie de test de protocoles à métaobjets, p.96, 2002.

F. Salles, Sûreté de Fonctionnement des logiciels exécutifs à base de micronoyau : analyse des modes de défaillance et confinement des erreurs, LAAS-CNRS, issue.8, 1999.

J. Stone and C. Partridge, When the CRC and TCP checksum disagree, Proc. of the ACM SIGCOMM Conference, pp.309-319, 2000.

M. Sullivan and R. Chillarege, Software defects and their impact on system availability-a study of field failures in operating systems, [1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium, pp.2-9, 1991.
DOI : 10.1109/FTCS.1991.146625

&. Tay, B. H. Tay, and A. L. Ananda, A survey of remote procedure calls, ACM SIGOPS Operating Systems Review, vol.24, issue.3, pp.68-79, 1990.
DOI : 10.1145/382244.382832

. Thévenod-fosse, Software Statistical Testing, Predictably Dependable Computing Systems, pp.253-272, 1995.
DOI : 10.1007/978-3-642-79789-7_15

J. Voas and G. Mcgraw, Software Fault Injection, p.52, 1997.