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 ,
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=10.1.1.42.3107
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
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
On probabilistic ccp, APPIA-GULP-PRODE, pp.225-234, 1997. ,
Implementing randomised algorithms in constraint logic programming, Proceedings of the ERCIM/Compulog Workshop on Constraints, 2000. ,
Automatic test data generation using constraint solving techniques, Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'98), pp.53-62, 1998. ,
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
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
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
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
Programming paradigms of the Andorra kernel language, Logic Programming, Proceedings of the 1991 International Symposium, pp.167-186, 1991. ,
The Art of Software Testing, 1979. ,
DOI : 10.1002/9781119202486
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
Library of probabilistic constraint combinators over finite domain, 2006. ,
Constraint-based reasoning on probabilistic choice operators, Research Report, vol.6165, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00140886
Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, 1993. ,
DOI : 10.1145/96709.96733
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
The Oz Programming Model, Computer Science Today, Lecture Notes in Computer Science, vol.1000, pp.324-343, 1995. ,
DOI : 10.1007/BFb0015252
An investigation of statistical software testing, Software Testing, Verification and Reliability, vol.10, issue.2, pp.5-25, 1991. ,
DOI : 10.1002/stvr.4370010203
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=10.1.1.93.7961
Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4 ,
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. ,
BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399 ,