F. A. and J. E. Falk, Jointly constrained biconvex programming, Mathematics if Operations Research, vol.8, issue.2, pp.273-286, 1983.

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. D. Pasareanu and W. Visser, Finding feasible abstract counter-examples, International Journal on Software Tools for Technology Transfer, vol.6, issue.1, 2003.
DOI : 10.1007/s10009-002-0088-z

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

F. Charreteur, B. Botella, and A. Gotlieb, Modelling dynamic memory management in constraint-based testing, AIC-PART (Testing: Academic and Industrial Conference), 2007.
URL : https://hal.archives-ouvertes.fr/inria-00540270

H. Collavizza and M. Rueher, Exploration of the Capabilities of Constraint Programming for Software Verification, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), pp.182-196, 2006.
DOI : 10.1016/0020-0255(74)90008-5

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, pp.84-96, 1978.
DOI : 10.1145/512760.512770

R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and F. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991.
DOI : 10.1145/115372.115320

R. Demillo and J. Offut, Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, pp.900-910, 1991.
DOI : 10.1109/32.92910

A. Gotlieb, B. Botella, and M. Rueher, Automatic test data generation using constraint solving techniques, Proc. of ISSTA'98, pp.53-62, 1998.
DOI : 10.1145/271775.271790

A. Gotlieb, T. Denmat, and B. Botella, Constraint-based test data generation in the presence of stack-directed pointers, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, 2005.
DOI : 10.1145/1101908.1101958

A. Gotlieb, T. Denmat, and B. Botella, Goal-oriented test data generation for pointer programs, Information and Software Technology, vol.49, issue.9-10, pp.1030-1044, 2007.
DOI : 10.1016/j.infsof.2006.10.016
URL : https://hal.archives-ouvertes.fr/inria-00540297

N. Gupta, A. Mathur, and M. Soffa, Automated Test Data Generation Using An Iterative Relaxation Method, Foundations on Software Engineering, 1998.
DOI : 10.1145/291252.288321
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.8112

C. Holzbaur, OFAI clp(q,r) Manual, Austrian Research Institutefor Artificial Intelligence, issue.13

D. Jackson and M. Vaziri, Finding bugs with a constraint solver, Proc. of ISSTA'00, pp.14-25, 2000.

D. Lewin, L. Fournier, M. Levinger, E. Roytman, and G. Shurek, Constraint satisfaction for test program generation, Proceedings International Phoenix Conference on Computers and Communications, 1995.
DOI : 10.1109/PCCC.1995.472513

G. P. Mccormick, Computability of global solutions to factorable nonconvex programs: Part 1 -convex underestimating problems ATGen: automatic test data generation using constraint logic programming and symbolic execution, Mathematical Programming, pp.147-17581, 1976.

P. M. Williams, B. Marre, 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

S. Sankaranarayanan, M. A. Coì-on, H. Sipma, and Z. Manna, Efficient Strongly Relational Polyhedral Analysis, Proc. of VMCAI'06, pp.115-125, 2006.
DOI : 10.1007/11609773_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.8322

B. Seljimi and I. Parissis, Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs, 2006 17th International Symposium on Software Reliability Engineering, pp.105-116, 2006.
DOI : 10.1109/ISSRE.2006.49

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

S. Visvanathan and N. Gupta, Generating test data for functions with pointer inputs, Proceedings 17th IEEE International Conference on Automated Software Engineering,, 2002.
DOI : 10.1109/ASE.2002.1115007