Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing.

Matthieu Petit, Arnaud Gotlieb

Browse the full ICLP paper archive.