Structural Testing of Executables, 2008 International Conference on Software Testing, Verification, and Validation, pp.22-31, 2008. ,
DOI : 10.1109/ICST.2008.8
An Alternative to SAT-Based Approaches for Bit-Vectors, Tools and Algorithms for the Construction and Analysis (TACAS'10), pp.84-98, 2010. ,
DOI : 10.1007/978-3-642-12002-2_7
Using Constraints to Verify Properties of Rule Programs, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 2010. ,
DOI : 10.1109/ICSTW.2010.42
Cpbpv: A constraintprogramming framework for bounded program verification, Proc. of CP2008, pp.327-341, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01099509
Rete: A fast algorithm for the many pattern/many object pattern match problem, Artificial Intelligence, vol.19, issue.1, pp.17-37, 1982. ,
DOI : 10.1016/0004-3702(82)90020-0
Euclide: A constraint-based testing platform for critical c programs, 2th IEEE International Conference on Software Testing, Validation and Verification (ICST'09), 2009. ,
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
Extending a cp solver with congruences as domains for software verification, 1st Workshop on Constraints in Software Testing, Verification and Analysis, CSTVA'06, 2006. ,
On-the-fly generation of k-path tests for c functions, Proceedings of the 19th IEEE Int. Conf. on Automated Software Engineering (ASE'04), 2004. ,
Test Selection Strategies for Lustre Descriptions in GATeL, Electronic Notes in Theoretical Computer Science, vol.111, pp.93-111, 2005. ,
DOI : 10.1016/j.entcs.2004.12.010
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis, Proc. Dependable Computing -EDCC'05, 2005. ,
DOI : 10.1007/11408901_21