. Fig, 5 shows the translation of program trityp into a PCCP(FD) program. By a static analysis and by choosing the all paths criterion, we get the following constraints for the weights associated to each probabilistic choice

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991.
DOI : 10.1145/115372.115320

R. A. Demillo and J. A. Offut, Experimental results from an automatic test case generator, ACM Transactions on Software Engineering and Methodology, vol.2, issue.2, pp.109-175, 1993.
DOI : 10.1145/151257.151258

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.

A. Gotlieb, B. Botella, and M. Rueher, Automatic test data generation using constraint solving techniques, Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'98), pp.53-62, 1998.

S. Gouraud, A. Denise, M. Gaudel, and B. Marre, A new way of automating statistical testing methods, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.5-12, 2001.
DOI : 10.1109/ASE.2001.989785

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

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=

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

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

G. J. Myers, The Art of Software Testing, 1979.
DOI : 10.1002/9781119202486

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 over finite domain, 2006.

M. Petit and A. Gotlieb, Constraint-based reasoning on probabilistic choice operators, Research Report, vol.6165, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00140886

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

H. Zhu, P. Hall, and J. May, Software unit test coverage and adequacy, ACM Computing Surveys, vol.29, issue.4, pp.366-426, 1997.
DOI : 10.1145/267580.267590

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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