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
SMOTL -a system to construct samples for data processing program debugging, IEEE Transactions on Software Engineering, vol.5, issue.1, pp.60-66, 1979. ,
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
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
An open-ended finite domain constraint solver, Proc. of Programming Languages: Implementations, Logics, and Programs, 1997. ,
DOI : 10.1007/BFb0033845
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
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. ,
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=10.1.1.114.8322
Cute: a concolic unit testing engine for c, Proc. of ESEC/FSE-13TCAS II, pp.263-272, 2005. ,
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