N. Angelopoulos, D. Pierro, A. Wiklicky, and H. , Implementing randomised algorithms in constraint logic programming, Joint International Conference and Symposium on Logic Programming, 1998.

M. Carlsson, G. Ottosson, and B. Carlson, An open-ended finite domain constraint solver, Proc. of Programming Languages: Implementations, Logics, and Programs, 1997.
DOI : 10.1007/BFb0033845

A. , D. Pierro, and H. Wiklicky, On probabilistic ccp, APPIA-GULP-PRODE, pp.225-234, 1997.

A. , D. Pierro, and H. Wiklicky, Implementing randomised algorithms in constraint logic programming, Proceedings of the ERCIM/Compulog Workshop on Constraints, 2000.

V. Gupta, R. Jagadeesan, and P. Panangaden, Stochastic processes as concurrent constraint programs, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '99, 1999.
DOI : 10.1145/292540.292558
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.7979

V. Gupta, R. Jagadeesan, and V. A. Saraswat, Probabilistic concurrent constraint programming, Proceedings of CONCUR, pp.243-257, 1997.
DOI : 10.1007/3-540-63141-0_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.8241

P. Van-hentenryck, V. Saraswat, and Y. Deville, Design, implementation, and evaluation of the constraint language cc(FD), The Journal of Logic Programming, vol.37, issue.1-3, 1993.
DOI : 10.1016/S0743-1066(98)10006-7

J. Jaffar and M. J. Maher, Constraint logic programming: a survey, The Journal of Logic Programming, vol.19, issue.20, pp.503-581, 1994.
DOI : 10.1016/0743-1066(94)90033-7
URL : http://doi.org/10.1016/0743-1066(94)90033-7

S. Janson and S. Haridi, Programming paradigms of the Andorra kernel language, Logic Programming, Proceedings of the 1991 International Symposium, pp.167-186, 1991.

M. Petit and A. Gotlieb, An ongoing work on statistical structural testing via probabilistic concurrent constraint programming, Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004., 2004.
DOI : 10.1109/MODEVA.2004.1425844

M. Petit and A. Gotlieb, Library of probabilistic constraint combinators, 2006.

V. A. Saraswat, Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, 1993.
DOI : 10.1145/96709.96733

V. A. Saraswat, M. Rinard, and P. Panangaden, The semantic foundations of concurrent constraint programming, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.333-352, 1991.
DOI : 10.1145/99583.99627

G. Smolka, The Oz Programming Model, Computer Science Today, Lecture Notes in Computer Science, vol.1000, pp.324-343, 1995.
DOI : 10.1007/BFb0015252

P. Thévenod-fosse and H. Waeselynck, An investigation of statistical software testing, Software Testing, Verification and Reliability, vol.10, issue.2, pp.5-25, 1991.
DOI : 10.1002/stvr.4370010203

I. Unité-de-recherche and I. Rennes, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399