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
Constraint Reasoning in FocalTest, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00699233
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
EasyCheck ??? Test Data for Free, 9th Int. Symp. on Func. and Logic Prog, FLOPS, 2008. ,
DOI : 10.1007/978-3-540-78969-7_23
QuickCheck, ACM SIGPLAN Notices, vol.35, issue.9, pp.268-279, 2000. ,
DOI : 10.1145/357766.351266
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
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
Property-based testing, ACM SIGSOFT Software Engineering Notes, vol.22, issue.4, pp.74-80, 1997. ,
DOI : 10.1145/263244.263267
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
Data-flow testing of declarative programs, Proc. of ICFP'08), pp.201-212, 2008. ,
Dart: directed automated random testing, ACM Conf. on Prog. lang. design and impl., PLDI, pp.213-223, 2005. ,
Euclide: A constraint-based testing platform for critical c programs, Int. Conf. on Software Testing, Validation and Verification, 2009. ,
Automatic test data generation using constraint solving techniques, In Int. Symp. on Soft. Testing and Analysis, pp.53-62, 1998. ,
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
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
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
Toward Automatic Test Data Set Selection using Algebraic Specifications and Logic Programming, Int. Conf. on Logic Programming, ICLP, pp.202-219, 1991. ,
Classical search strategies for test case generation with constraint logic programming, Formal Approaches to Testing of Soft., FATES, pp.47-60, 2001. ,
Cute: a concolic unit testing engine for c, ESEC/FSE-13, pp.263-272, 2005. ,
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
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis, Dependable Computing, EDCC, pp.281-292, 2005. ,
DOI : 10.1007/11408901_21