K. Apt, The essence of constraint propagation, Theoretical Computer Science, vol.221, issue.1-2, pp.179-21010, 1999.
DOI : 10.1016/S0304-3975(99)00032-8

R. Bagnara, E. Ricci, E. Zaffanella, &. Patricia, and M. Hill, Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library, Proc. of the Static Analysis Symposium, pp.213-229, 2002.
DOI : 10.1007/3-540-45789-5_17

S. Bardin and &. P. Herrmann, OSMOSE: automatic structural testing of executables, Software Testing, Verification and Reliability, vol.16, issue.1, pp.29-54, 2011.
DOI : 10.1002/stvr.423

P. Boonstoppel, C. Cadar, and &. Dawson-engler, RWset: Attacking Path Explosion in Constraint-Based Test Generation, Int. Conference on Tools and Algorithms for the Constructions and Analysis of Systems (TACAS'08), pp.351-366, 2008.
DOI : 10.1007/978-3-540-78800-3_27

B. Botella, A. Gotlieb, and &. C. Michel, Symbolic execution of floating-point computations, Software Testing, Verification and Reliability, vol.14, issue.2, pp.97-121, 2006.
DOI : 10.1002/stvr.333

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

R. H. Carver, Testing abstract distributed programs and their implementations: A constraint-based approach, Journal of Systems and Software, vol.33, issue.3, pp.223-23710, 1996.
DOI : 10.1016/0164-1212(96)00024-6

F. Charreteur, B. Botella, and &. A. Gotlieb, Modelling dynamic memory management in constraint-based testing, Journal of Systems and Software, vol.82, issue.11, pp.1755-1766, 2007.
DOI : 10.1016/j.jss.2009.06.029

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

F. Charreteur and &. A. Gotlieb, Constraint-Based Test Input Generation for Java Bytecode, 2010 IEEE 21st International Symposium on Software Reliability Engineering, pp.10-1109, 1926.
DOI : 10.1109/ISSRE.2010.26

URL : https://hal.archives-ouvertes.fr/hal-00699236

W. Chiu-wo-choi, J. H. Harvey, &. Lee, J. Peter, and . Stuckey, Finite Domain Bounds Consistency Revisited, Australian Conference on Artificial Intelligence, pp.49-5810, 2006.

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. 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

P. Cousot and &. Cousot, Static Determination of dynamic properties of programs, Proc. of the 2nd International Symp. on Programming, Dunod, pp.106-130, 1976.

G. Delzanno and &. Podelski, Constraint-based deductive model checking, International Journal on Software Tools for Technology Transfer (STTT), vol.3, issue.3, pp.250-27010, 2001.

T. Denmat, A. Gotlieb, and &. M. Ducasse, An Abstract Interpretation Based Combinator for Modeling While Loops in Constraint Programming, Proceedings of Principles and Practices of Constraint Programming (CP'07), pp.241-255, 2007.

T. Denmat, A. Gotlieb, and &. M. Ducasse, Improving Constraint-Based Testing with Dynamic Linear Relaxations, The 18th IEEE International Symposium on Software Reliability (ISSRE '07), pp.10-1109, 2007.
DOI : 10.1109/ISSRE.2007.34

URL : https://hal.archives-ouvertes.fr/hal-00180513

C. Flanagan, Automatic software model checking via constraint logic, Science of Computer Programming, vol.50, issue.1-3, pp.253-270, 2004.
DOI : 10.1016/j.scico.2004.01.006

G. Fraser and &. Franz-wotawa, Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers, International Conference on Software Engineering Advances (ICSEA 2007), 2007.
DOI : 10.1109/ICSEA.2007.71

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

A. Gotlieb, EUCLIDE: A Constraint-Based Testing platform for critical C programs, 2th IEEE International Conference on Software Testing, Validation and Verification (ICST'09), pp.10-1109, 2009.

A. Gotlieb, TCAS software verification using constraint programming, The Knowledge Engineering Review, vol.99, issue.03, pp.343-36010, 2012.
DOI : 10.1109/TSE.2004.22

URL : https://hal.archives-ouvertes.fr/hal-00807905

A. Gotlieb, B. Botella, and &. M. Rueher, Automatic Test Data Generation Using Constraint Solving Techniques, Proc. of Int. Symp. on Soft. Testing and Analysis (ISSTA'98), pp.53-62, 1998.
DOI : 10.1145/271771.271790

A. Gotlieb, B. Botella, and &. M. Rueher, A CLP Framework for Computing Structural Test Data, Proceedings of Computational Logic (CL'2000), LNAI 1891, pp.399-413, 2000.
DOI : 10.1007/3-540-44957-4_27

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, pp.10-1145, 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.9-10, 2007.
DOI : 10.1016/j.infsof.2006.10.016

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

T. Henzinger, R. Jhala, R. Majumdar, and &. G. Sutre, Software Verification with BLAST, Proc. of 10th Workshop on Model Checking of Software (SPIN), pp.235-239, 2003.
DOI : 10.1007/3-540-44829-2_17

K. Marriott and &. J. Stuckey, Programming with Constraints : An Introduction, 1998.

R. A. Moore, Interval Analysis, 1966.

M. N. Wegman and &. F. Zadeck, Constant propagation with conditional branches, ACM Transactions on Programming Languages and Systems, vol.13, issue.2, pp.181-21010, 1991.
DOI : 10.1145/103135.103136

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

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.10-1007, 2005.
DOI : 10.1007/11408901_21