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

B. Beizer, Software testing techniques, 2003.

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

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

J. Laprie, From dependability to resilience, Proceedings of DSN 2008, 2018.

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.2540-51, 1992.
DOI : 10.1109/2.161279
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7831

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

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