P. Ayrault, T. Hardin, and F. Pessaux, Development Life-cycle of Critical Software Under FoCaL, Int. Workshop on Harnessing Theories for Tool Support in Software, TTSS, 2008.
DOI : 10.1016/j.entcs.2009.07.003

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

M. Carlier, Constraint Reasoning in FocalTest, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00699233

M. Carlier and C. Dubois, Functional Testing in the Focal Environment, Test And Proof, TAP, 2008.
DOI : 10.1007/978-3-540-79124-9_7

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

J. Christiansen and S. Fischer, EasyCheck ??? Test Data for Free, 9th Int. Symp. on Func. and Logic Prog, FLOPS, 2008.
DOI : 10.1007/978-3-540-78969-7_23

K. Claessen and J. Hughes, QuickCheck, ACM SIGPLAN Notices, vol.35, issue.9, pp.268-279, 2000.
DOI : 10.1145/357766.351266

J. Dick and A. Faivre, Automating the generation and sequencing of test cases from model-based specifications, First Int. Symp. of Formal Methods Europe , FME, pp.268-284, 1993.
DOI : 10.1007/BFb0024651

C. Dubois, T. Hardin, V. Donzeau-gouge, and V. , Building certified components within focal, Fifth Symp. on Trends in Functional Prog., TFP'04, pp.33-48, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01124970

G. Fink and M. Bishop, Property-based testing, ACM SIGSOFT Software Engineering Notes, vol.22, issue.4, pp.74-80, 1997.
DOI : 10.1145/263244.263267

S. Fischer and H. Kuchen, Systematic generation of glass-box test cases for functional logic programs, Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming, PPDP '07, pp.63-74, 2007.
DOI : 10.1145/1273920.1273930

S. Fischer and H. Kuchen, Data-flow testing of declarative programs, Proc. of ICFP'08), pp.201-212, 2008.

P. Godefroid, N. Klarlund, and K. Sen, Dart: directed automated random testing, ACM Conf. on Prog. lang. design and impl., PLDI, pp.213-223, 2005.

A. Gotlieb, Euclide: A constraint-based testing platform for critical c programs, Int. Conf. on Software Testing, Validation and Verification, 2009.

A. Gotlieb, B. Botella, and M. Rueher, Automatic test data generation using constraint solving techniques, In Int. Symp. on Soft. Testing and Analysis, pp.53-62, 1998.

T. Johnsson, Lambda lifting: Transforming programs to recursive equations, Conference on Functional Programming Languages and Computer Architecture, pp.190-203, 1985.
DOI : 10.1007/3-540-15975-4_37

P. Koopman, A. Alimarine, J. Tretmans, and R. Plasmeijer, Gast: Generic Automated Software Testing, Workshop on the Impl. of Func. Lang., IFL02, pp.84-100, 2002.
DOI : 10.1007/3-540-44854-3_6

B. Legeard and F. Peureux, Generation of functional test sequences from B formal specifications presentation and industrial case-study, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.377-381, 2001.
DOI : 10.1109/ASE.2001.989833

B. Marre, Toward Automatic Test Data Set Selection using Algebraic Specifications and Logic Programming, Int. Conf. on Logic Programming, ICLP, pp.202-219, 1991.

A. Pretschner, Classical search strategies for test case generation with constraint logic programming, Formal Approaches to Testing of Soft., FATES, pp.47-60, 2001.

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

E. Uzuncaova and S. Khurshid, Constraint Prioritization for Efficient Analysis of Declarative Models, 15th Int. Symp. on Formal Methods, FM, 2008.
DOI : 10.1007/978-3-540-68237-0_22

N. Williams, B. Marre, P. Mouy, R. , and M. , PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis, Dependable Computing, EDCC, pp.281-292, 2005.
DOI : 10.1007/11408901_21