J. Lamotte, J. Chesneaux, and F. Jézéquel, CADNA_C: A version of CADNA for use with C or C++ programs, Computer Physics Communications, vol.181, issue.11, pp.1925-1926, 2010.
DOI : 10.1016/j.cpc.2010.07.006
URL : https://hal.archives-ouvertes.fr/hal-01146511

S. Montan, Sur la validation numérique des codes de calcul industriels, 2013.

F. Benz, A. Hildebrandt, and S. Hack, A dynamic program analysis to find floating-point accuracy problems, 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2012.

M. O. Lam, J. K. Hollingsworth, and G. Stewart, Dynamic floating-point cancellation detection, Parallel Computing, vol.39, issue.3, pp.146-155, 2013.
DOI : 10.1016/j.parco.2012.08.002

F. Févotte and B. Lathuilière, VERROU: L'arithmétique stochastique sans recompiler, 7ème Rencontre Arithmétique de l'Informatique Mathématique (RAIM), p.2015

D. Parker, Monte Carlo arithmetic: exploiting randomness in floating-point arithmetic, 1997.

G. E. Forsythe, Reprint of a Note on Rounding-Off Errors, SIAM Review, vol.1, issue.1, pp.66-67, 1959.
DOI : 10.1137/1001011

N. Nethercote and J. Seward, Valgrind: A framework for heavyweight dynamic binary instrumentation, ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI), 2007.

M. Frechtling and P. H. Leong, MCALIB, ACM Transactions on Programming Languages and Systems, vol.37, issue.2, p.5, 2015.
DOI : 10.1145/2665073

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007.
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00103655

W. V. Kahan, The improbability of probabilistic error analyses for numerical computations, UC Berkeley Stastistics Colloquium, 1996.

D. E. Knuth, The Art of Computer Programming, 1997.

T. J. Dekker, A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971.
DOI : 10.1007/BF01397083

A. Zeller, Yesterday, my program worked. Today, it does not. Why?, ACM SIGSOFT Software Engineering Notes, vol.24, issue.6, pp.253-267, 1999.
DOI : 10.1145/318774.318946

A. Zeller and R. Hildebrandt, Simplifying and isolating failure-inducing input, IEEE Transactions on Software Engineering, vol.28, issue.2, pp.183-200, 2002.
DOI : 10.1109/32.988498

A. Zeller, Why Programs Fail, 2009.

W. V. Kahan, A survey of error analysis, Proc. IFIP Congress, pp.200-206, 1971.

J. Bajard, D. Michelucci, J. Moreau, and J. Muller, Introduction to the Special Issue ???Real Numbers and Computers???, pp.436-438, 1996.
DOI : 10.1007/978-3-642-80350-5_37

B. Chassignole, R. E. Guerjouma, M. Ploix, and T. Fouquet, Ultrasonic and structural characterization of anisotropic austenitic stainless steel welds: Towards a higher reliability in ultrasonic non-destructive testing, NDT & E International, vol.43, issue.4, pp.273-282, 2010.
DOI : 10.1016/j.ndteint.2009.12.005
URL : https://hal.archives-ouvertes.fr/hal-01300021

P. R. Stepanishen, Transient Radiation from Pistons in an Infinite Planar Baffle, The Journal of the Acoustical Society of America, vol.49, issue.5B, pp.1629-1638, 1971.
DOI : 10.1121/1.1912541

E. Becache, P. Joly, and C. Tsogka, FICTITIOUS DOMAINS, MIXED FINITE ELEMENTS AND PERFECTLY MATCHED LAYERS FOR 2-D ELASTIC WAVE PROPAGATION, Journal of Computational Acoustics, vol.09, issue.03, pp.1175-1201, 2001.
DOI : 10.1142/S0218396X01000966
URL : https://hal.archives-ouvertes.fr/inria-00072764