A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2

J. H. Barton, E. W. Czeck, Z. Z. Segall, and D. P. Siewiorek, Fault injection experiments using FIAT, IEEE Transactions on Computers, vol.39, issue.4, pp.575-582, 1990.
DOI : 10.1109/12.54853

B. Beizer, Software testing techniques, 2003.

J. M. Bieman, D. Dreilinger, and L. Lin, Using fault injection to increase software test coverage, Proceedings of ISSRE '96: 7th International Symposium on Software Reliability Engineering, pp.166-174, 1996.
DOI : 10.1109/ISSRE.1996.558776

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

B. Cabral and P. Marques, Exception Handling: A Field Study in Java and .NET, Proceedings of the European Conference on Object-Oriented Programming, pp.151-175, 2007.
DOI : 10.1007/978-3-540-73589-2_8

G. Candea, M. Delgado, M. Chen, and A. Fox, Automatic failure-path inference: a generic introspection technique for Internet applications, Proceedings the Third IEEE Workshop on Internet Applications. WIAPP 2003, pp.132-141, 2003.
DOI : 10.1109/WIAPP.2003.1210298

C. Fu, R. P. Martin, K. Nagaraja, T. D. Nguyen, B. G. Ryder et al., Compiler-directed program-fault coverage for highly available Java internet services, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings., 2003.
DOI : 10.1109/DSN.2003.1209969

C. Fu and B. G. Ryder, Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications, 29th International Conference on Software Engineering (ICSE'07), 2007.
DOI : 10.1109/ICSE.2007.35

S. Ghosh and J. L. Kelly, Bytecode fault injection for Java software, Journal of Systems and Software, vol.81, issue.11, pp.2034-2043, 2008.
DOI : 10.1016/j.jss.2008.02.047

J. B. Goodenough, Exception handling: issues and a proposed notation, Communications of the ACM, vol.18, issue.12, pp.683-696, 1975.
DOI : 10.1145/361227.361230

J. Gosling, B. Joy, G. Steele, and G. Bracha, Java Language Specification, 2005.

J. J. Horning, H. C. Lauer, P. M. Melliar-smith, and B. Randell, A program structure for error detection and recovery, 1974.

J. Laprie, From dependability to resilience, Proceedings of the International Conference on Dependable Systems and Networks, 2008.

W. Lun-kao, R. K. Iyer, and D. Tang, Fine: A fault injection and monitoring environment for tracing the unix system behavior under faults, IEEE Trans. Software Eng, vol.19, issue.11, pp.1105-1118, 1993.

J. Mercadal, Q. Enard, C. Consel, and N. Loriant, A domain-specific approach to architecturing error handling in pervasive computing, Proceedings of the Conference on Object Oriented Programming Systems Languages and Applications, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00486930

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.2540-51, 1992.
DOI : 10.1109/2.161279

H. Ohe and B. Chang, An Exception Monitoring System for Java, Rapid Integration of Software Engineering Techniques, pp.71-81
DOI : 10.1007/11423331_7

P. Rovner, Extending Modula-2 to Build Large, Integrated Systems, IEEE Software, vol.3, issue.6, pp.46-57, 1986.
DOI : 10.1109/MS.1986.229476

W. Savitch, JAVA An Introduction to Problem Solving and Programming, 2012.

Z. Segall, D. Vrsalovic, D. Siewiorek, D. Yaskin, J. Kownacki et al., Fiat-fault injection based automated testing environment Analysis and testing of programs with exception handling constructs, Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, pp.102-107849, 1988.

S. Sinha, A. Orso, and M. J. Harrold, Automated support for development, maintenance, and testing in the presence of implicit flow control, Proceedings. 26th International Conference on Software Engineering, pp.336-345, 2004.
DOI : 10.1109/ICSE.2004.1317456

M. Staats, M. W. Whalen, and M. P. Heimdahl, Programs, tests, and oracles, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.391-400, 2011.
DOI : 10.1145/1985793.1985847

K. S. Trivedi, D. S. Kim, and R. Ghosh, Resilience in computer systems and networks, Proceedings of the 2009 International Conference on Computer-Aided Design, ICCAD '09, pp.74-77, 2009.
DOI : 10.1145/1687399.1687415

P. Zhang and S. Elbaum, Amplifying tests to validate exception handling code, Proceedings of the International Conference on Software Engineering, pp.595-605, 2012.
DOI : 10.1109/icse.2012.6227157