A Theory of Probabilistic Functional Testing. - Gilles Bernot; Laurent Bouaziz; Pascale Le Gall (ICSE, 1997)