R. Skeel, Roundoff error and the Patriot missile, SIAM News, vol.25, issue.4 11, 1992.

E. J. Weyuker, On Testing Non-Testable Programs, The Computer Journal, vol.25, issue.4, pp.465-470, 1982.
DOI : 10.1093/comjnl/25.4.465

V. V. Kuliamin, Standardization and Testing of Mathematical Functions, Perspectives of Systems Informatics, ser, pp.257-268, 2010.
DOI : 10.1007/978-3-642-11486-1_22

P. E. Ammann and J. C. Knight, Data diversity: an approach to software fault tolerance, IEEE Transactions on Computers, vol.37, issue.4, pp.418-425, 1988.
DOI : 10.1109/12.2185

F. T. Chan, T. Y. Chen, S. C. Cheung, M. F. Lau, and S. M. Yiu, Application of metamorphic testing in numerical analysis, Proc. of the IASTED Int'l Conf. on Software Engineering, pp.191-197, 1998.

E. Goubault, Static Analyses of the Precision of Floating-Point Operations, Static Analysis: 8th Int'l Symp., ser. LNCS, pp.234-259, 2001.
DOI : 10.1007/3-540-47764-0_14

E. Tang, E. T. Barr, X. Li, and Z. Su, Perturbing numerical calculations for statistical analysis of floating-point program (in)stability, Proceedings of the 19th international symposium on Software testing and analysis, ISSTA '10, pp.131-142, 2010.
DOI : 10.1145/1831708.1831724

W. Miller and D. L. Spooner, Automatic Generation of Floating-Point Test Data, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.223-226, 1976.
DOI : 10.1109/TSE.1976.233818

K. Lakhotia, M. Harman, and H. Gross, AUSTIN: A Tool for Search Based Software Testing for the C Language and Its Evaluation on Deployed Automotive Systems, 2nd International Symposium on Search Based Software Engineering, pp.101-110, 2010.
DOI : 10.1109/SSBSE.2010.21

P. Mcminn, Search-based software test data generation: a survey, Software Testing, Verification and Reliability, pp.105-156, 2004.
DOI : 10.1002/stvr.294

A. Arcuri, Theoretical Analysis of Local Search in Software Testing, Proc. of the 5th Int'l Symp. on Stochastic Algorithms: Foundations and Applications, ser. LNCS, pp.156-168, 2009.
DOI : 10.1007/s11633-007-0281-3

P. Godefroid, N. Klarlund, and K. Sen, DART: Directed automated random testing, Proc. of the ACM SIGPLAN 2005 Conf. on Programming Language Design and Implementation, pp.213-223, 2005.

]. C. Michel, M. Rueher, and Y. Lebbah, Solving Constraints over Floating-Point Numbers, Proc. of the 7th Int'l Conf. on Principles and Practice of Constraint Programming, ser. LNCS, pp.524-538, 2001.
DOI : 10.1007/3-540-45578-7_36
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.816

C. Michel, Exact projection functions for floating point number constraints, Proc. of the 7th Int'l Symp. on Artificial Intelligence and Mathematics, 2002.

B. Blanc, F. Bouquet, A. Gotlieb, B. Jeannet, T. Jeron et al., The V3F project, Proc. of the 1st Workshop on Constraints in Software Testing, Verification and Analysis, 2006.

B. Botella, A. Gotlieb, and C. Michel, Symbolic execution of floating-point computations, Software Testing, Verification and Reliability, pp.97-121, 2006.
DOI : 10.1002/stvr.333
URL : https://hal.archives-ouvertes.fr/inria-00540299

B. Marre and B. Blanc, Test Selection Strategies for Lustre Descriptions in GATeL, Proc. of the Workshop on Model Based Testing, pp.93-111, 2005.
DOI : 10.1016/j.entcs.2004.12.010

M. S. Belaid, C. Michel, and M. Rueher, Boosting Local Consistency Algorithms over Floating-Point Numbers, Proc. of the 18th Int'l Conf. on Principles and Practice of Constraint Programming, ser. LNCS, pp.127-140, 2012.
DOI : 10.1007/978-3-642-33558-7_12

B. Marre and C. Michel, Improving the Floating Point Addition and Subtraction Constraints, Proc. of the 16th Int'l Conf. on Principles and Practice of Constraint Programming, ser. LNCS, pp.360-367, 2010.
DOI : 10.1007/978-3-642-15396-9_30

M. Carlier and A. Gotlieb, Filtering by ULP Maximum, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, pp.209-214, 2011.
DOI : 10.1109/ICTAI.2011.39
URL : https://hal.archives-ouvertes.fr/hal-00699565

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991.
DOI : 10.1145/103162.103163
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.7712

J. Muller, On the definition of ulp(x), " INRIA, 2005.

R. Bagnara, M. Carlier, R. Gori, and A. Gotlieb, Filtering floating-point constraints by maximum ULP, 2013.

G. C. Necula, S. Mcpeak, S. P. Rahul, and W. Weimer, CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs, Compiler Construction: Proc. of the 11th Int'l Conf., ser. LNCS, pp.213-228, 2002.
DOI : 10.1007/3-540-45937-5_16

K. Lakhotia, N. Tillmann, M. Harman, and J. Halleux, FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution, Proc. of the 22nd IFIP WG 6.1 Int'l Conf. on Testing Software and Systems, pp.142-157, 2010.
DOI : 10.1007/978-3-642-16573-3_11
URL : https://hal.archives-ouvertes.fr/hal-01055253

M. Borges, M. Amorim, S. Anand, D. Bushnell, and C. S. Pasareanu, Symbolic Execution with Interval Solving and Meta-heuristic Search, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.111-120, 2012.
DOI : 10.1109/ICST.2012.91