). E. Balas, Disjunctive Programming and a Hierarchy of Relaxations for Discrete Optimization Problems, SIAM Journal on Algebraic Discrete Methods, vol.6, issue.3, 1979.
DOI : 10.1137/0606047

J. Bicevskis, J. Borzovs, U. Straujums, A. Zarins, and E. Miller, SMOTL -a system to construct samples for data processing program debugging, IEEE Transactions on Software Engineering, vol.5, issue.1, pp.60-66, 1979.

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

M. M. Brandis, H. M?, and . Ock, Single-pass generation of static single-assignment form for structured languages, Brummayer et al. 2007) R. Brummayer, A. Biere. C32SAT: Checking C Expressions Proc. 19th Intl. Conf. on Computer Aided Verification (CAV'07), pp.1684-1698, 1994.
DOI : 10.1145/197320.197331

M. Carlsson, G. Ottosson, and B. Carlson, An open-ended finite domain constraint solver, Proc. of Programming Languages: Implementations, Logics, and Programs, 1997.
DOI : 10.1007/BFb0033845

G. P. Mccormick, Computability of global solutions to factorable nonconvex programs: Part I ??? Convex underestimating problems, Mathematical Programming, pp.147-175, 1976.
DOI : 10.1287/mnsc.17.11.759

M. Milano, G. Ottosson, P. Refalo, and E. S. , Thorsteinsson The Role of Integer Programming Techniques in Constraint Programming'sNeumaier et al. 2004) A. Neumaier, O. Shcherbina Safe bounds in linear and mixed-integer linear programming Mathematical Programming: Series A and B archive The dynamic domain reduction procedure for test data generation, Offut 1999) J.A. Offut, pp.387-402167, 1999.

S. Sankaranarayanan, M. A. Coì-on, H. Sipma, and Z. Manna, Efficient Strongly Relational Polyhedral Analysis, Proc. of VMCAI'06, pp.115-125, 2005.
DOI : 10.1007/11609773_8

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

K. Sen, D. Marinov, and G. Agha, Cute: a concolic unit testing engine for c, Proc. of ESEC/FSE-13TCAS II, pp.263-272, 2005.

N. Williams, B. Marre, P. Mouy, and M. Roger, PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis, Proc. Dependable Computing -EDCC'05, pp.281-292, 2005.
DOI : 10.1007/11408901_21