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

A. Arcuri, Theoretical Analysis of Local Search in Software Testing, Proceedings of the 5th international conference on Stochastic algorithms: foundations and applications , SAGA'09, pp.156-168, 2009.
DOI : 10.1007/s11633-007-0281-3

B. Blanc, F. Bouquet, A. Gotlieb, B. Jeannet, T. Jeron et al., The v3f project, Proc. of the 1st workshop Constraints in Software Testing, Verification and Analysis (CSTVA'06), colocated with CP'06, 2006.

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

M. Carlier and A. Gotlieb, Anr u3cat project report ? wp1: Floating-point computations, 2011.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973

URL : https://hal.archives-ouvertes.fr/inria-00528590

P. Godefroid, N. Klarlund, and K. Sen, Dart: directed automated random testing, Proc. of PLDI'05, pp.213-223, 2005.

A. Gotlieb and B. Botella, Automated metamorphic testing, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003, 2003.
DOI : 10.1109/CMPSAC.2003.1245319

E. Goubault, Static Analyses of the Precision of Floating-Point Operations, Static Analysis Symposium (SAS'01) and also in LNCS 2126, pp.234-245, 2001.
DOI : 10.1007/3-540-47764-0_14

R. Lozano, C. Schulte, and L. Wahlberg, Testing continuous double auctions with a constraint-based oracle. In Principles and Practice of Constraint Programming -CP, number 6308 in LNCS, pp.613-627, 2010.

B. Marre and B. Blanc, Test Selection Strategies for Lustre Descriptions in GATeL, Electronic Notes in Theoretical Computer Science, vol.111, pp.93-111, 2005.
DOI : 10.1016/j.entcs.2004.12.010

B. Marre and C. Michel, Improving the floating point addition and subtraction constraints [15] P. McMinn. Search-based software test data generation: A survey, Principles and Practice of Constraint Programming -CP'2010, pp.360-367105, 2004.

C. Michel, Exact projection functions for floating point number constraints, In Seventh Int. Symp. on Artificial Intelligence and MAthematics, 2002.

C. Michel, M. Rueher, and Y. Lebbah, Solving Constraints over Floating-Point Numbers, Proceedings of Principles and Practices of Constraint Programming, pp.524-538, 2001.
DOI : 10.1007/3-540-45578-7_36

W. Miller and D. Spooner, Automatic generation of floatingpoint test data, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.223-226, 1976.

M. Belaid and C. Michel, Approximating floating-point operations to verify numerical programs, 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'10), ENS, 2010.

E. Tang, E. 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

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