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
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
OSMOSE: automatic structural testing of executables, Software Testing, Verification and Reliability, vol.16, issue.1, pp.29-54, 2011. ,
DOI : 10.1002/stvr.423
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
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
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
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
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
Finite Domain Bounds Consistency Revisited, Australian Conference on Artificial Intelligence, pp.49-5810, 2006. ,
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
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
Static Determination of dynamic properties of programs, Proc. of the 2nd International Symp. on Programming, Dunod, pp.106-130, 1976. ,
Constraint-based deductive model checking, International Journal on Software Tools for Technology Transfer (STTT), vol.3, issue.3, pp.250-27010, 2001. ,
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. ,
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
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
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
DART: directed automated random testing, Proc. of PLDI'05, pp.213-223, 2005. ,
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. ,
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
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 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
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
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
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
Programming with Constraints : An Introduction, 1998. ,
Interval Analysis, 1966. ,
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=10.1.1.105.4146
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