S. Bardin and P. Herrmann, Structural Testing of Executables, 2008 International Conference on Software Testing, Verification, and Validation, pp.22-31, 2008.
DOI : 10.1109/ICST.2008.8

S. Bardin, P. Herrmann, and F. Perroud, 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

B. Berstel and M. Leconte, 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

H. Collavizza, M. Rueher, and P. Van-hentenryck, Cpbpv: A constraintprogramming framework for bounded program verification, Proc. of CP2008, pp.327-341, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01099509

C. Forgy, 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

A. Gotlieb, Euclide: A constraint-based testing platform for critical c programs, 2th IEEE International Conference on Software Testing, Validation and Verification (ICST'09), 2009.

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

M. Leconte and B. Berstel, Extending a cp solver with congruences as domains for software verification, 1st Workshop on Constraints in Software Testing, Verification and Analysis, CSTVA'06, 2006.

B. Marre, P. Mouy, and N. Williams, 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.

B. Marre and B. Blanc, 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

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