R. Bagnara, Filtering Floating-Point Constraints by Maximum ULP, 1308.

S. Bardin and P. Herrmann, OSMOSE: automatic structural testing of executables, Software Testing, Verification and Reliability, vol.16, issue.1, 2011.
DOI : 10.1002/stvr.333

M. S. Belaid, C. Michel, and M. Rueher, Boosting Local Consistency Algorithms over Floating-Point Numbers, Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming, 2012.
DOI : 10.1007/978-3-642-33558-7_12
URL : https://hal.archives-ouvertes.fr/hal-01099514/document/

A. Biere, Symbolic Model Checking without BDDs " . In: Tools and Algorithms for the Construction and Analysis of Systems, 1999.
DOI : 10.1007/3-540-49059-0_14
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1426&context=compsci

B. Blanc, Handling State-Machines Specifications with GATeL, Electronic Notes in Theoretical Computer Science, vol.264, issue.3, 2010.
DOI : 10.1016/j.entcs.2010.12.011
URL : https://doi.org/10.1016/j.entcs.2010.12.011

S. Boldo, Stupid is as Stupid Does: Taking the Square Root of the Square of a Floating-Point Number, Proceedings of the 7th and 8th International Workshop on Numerical Software Verification, 2015.
DOI : 10.1016/j.entcs.2015.10.004
URL : https://hal.archives-ouvertes.fr/hal-01148409

M. Brain, An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic, 2015 IEEE 22nd Symposium on Computer Arithmetic, 2015.
DOI : 10.1109/ARITH.2015.26

M. Brain, Deciding floating-point logic with abstract conflict driven clause learning, Formal Methods in System Design 45, 2014.
DOI : 10.1007/978-3-642-31424-7_17
URL : https://link.springer.com/content/pdf/10.1007%2Fs10703-013-0203-7.pdf

Z. Chihani, Sharpening Constraint Programming Approaches for Bit-Vector Theory, 2017.
DOI : 10.1109/DATE.2001.915055
URL : https://hal.archives-ouvertes.fr/cea-01795779

A. Cimatti, The MathSAT5 SMT Solver, 2013.
DOI : 10.1007/978-3-642-36742-7_7

S. Conchon, A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT, Computer Aided Verification, 2017.
DOI : 10.1007/3-540-45578-7_36
URL : https://hal.archives-ouvertes.fr/hal-01522770

S. Conchon, Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers, p.2012
URL : https://hal.archives-ouvertes.fr/hal-01785166

R. David, BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis, 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER), pp.2016-2016
DOI : 10.1109/SANER.2016.43
URL : https://hal.archives-ouvertes.fr/hal-01721502

L. , D. Moura, and N. Bjorner, Z3: An efficient SMT solver, International conference on Tools and Algorithms for the Construction and Analysis of Systems, 2008.

T. Feydy, A. Schutt, and P. J. Stuckey, Global difference constraint propagation for finite domain solvers, Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming, PPDP '08, 2008.
DOI : 10.1145/1389449.1389478
URL : http://www.cs.mu.oz.au/~pjs/papers/ppdp2008b.pdf

A. Gotlieb, M. Leconte, and B. Marre, Constraint Solving on Modular Integers, p.2010
URL : https://hal.archives-ouvertes.fr/hal-00699234

D. Jovanovi´cjovanovi´c, C. Barrett, and L. De-moura, The Design and Implementation of the Model Constructing Satisfiability Calculus, Proceedings of 13th International Conference on Formal Methods in Computer-Aided Design, 2013.

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

B. Marre and C. Michel, Improving the Floating Point Addition and Subtraction Constraints, Principles and Practice of Constraint Programming -CP 2010, 2010.
DOI : 10.1007/978-3-642-15396-9_30

C. Michel, Exact Projection Functions for Floating-Point Number Constraints, International Symposium on Artificial Intelligence and Mathematics, 2002.

R. A. Millo, R. J. Lipton, and A. J. Perlis, Social Processes and Proofs of Theorems and Programs, 1979.

J. Muller, Handbook of Floating-Point Arithmetic ACM G.1.0; G.1.2; G.4; B.2.0; B.2.4; F.2.1, 2010.

O. Ohrimenko, P. J. Stuckey, and M. Codish, Propagation via lazy clause generation, Constraints, vol.37, issue.1???3, 2009.
DOI : 10.1023/A:1009812409930
URL : http://ai.uwaterloo.ca/~vanbeek/Constraints/Papers/OhrimenkoSC09.pdf

P. Rümmer and T. Wahl, An SMT-LIB theory of binary floating-point arithmetic, In: International Workshop on Satisfiability Modulo Theories, 2010.

M. Veksler and O. Strichman, Learning general constraints in CSP, In: Artificial Intelligence, vol.238, 2016.
DOI : 10.1016/j.artint.2016.06.002

N. Williams, B. Marre, and P. Mouy, On-the-fly generation of K-path tests for C functions, Proceedings. 19th International Conference on Automated Software Engineering, 2004., 2004.
DOI : 10.1109/ASE.2004.1342749