Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. - Matthieu Petit; Arnaud Gotlieb (ICLP, 2004)

Path-oriented random testing. - Arnaud Gotlieb; Matthieu Petit (Random Testing, 2006)

Boosting Probabilistic Choice Operators. - Matthieu Petit; Arnaud Gotlieb (CP, 2007)

Uniform Selection of Feasible Paths as a Stochastic Constraint Problem. - Matthieu Petit; Arnaud Gotlieb (QSIC, 2007)

Constraint Reasoning in Path-Oriented Random Testing. - Arnaud Gotlieb; Matthieu Petit (COMPSAC, 2008)

Towards a Theory for Testing Non-terminating Programs. - Arnaud Gotlieb; Matthieu Petit (COMPSAC (1), 2009)

A uniform random test data generator for path testing. - Arnaud Gotlieb; Matthieu Petit (J. Syst. Softw., 2010)

Inference with constrained hidden Markov models in PRISM. - Henning Christiansen 001; Christian Theil Have; Ole Torp Lassen; Matthieu Petit (Theory Pract. Log. Program., 2010)

Taming the Zoo of Discrete HMM Subspecies & Some of their Relatives. - Henning Christiansen 001; Christian Theil Have; Ole Torp Lassen; Matthieu Petit (Biology, Computation and Linguistics, 2011)

Bayesian Annotation Networks for Complex Sequence Analysis. - Henning Christiansen 001; Christian Theil Have; Ole Torp Lassen; Matthieu Petit (ICLP (Technical Communications), 2011)

A Declarative Pipeline Language for Complex Data Analysis. - Henning Christiansen 001; Christian Theil Have; Ole Torp Lassen; Matthieu Petit (LOPSTR, 2012)

µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization. - Mickaël Delahaye; Lionel C. Briand; Arnaud Gotlieb; Matthieu Petit (SERE, 2012)