Matthieu Petit

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

Programming Language

Hypothesis Test

Fault Localization

Top Venues

Publications

Mickaël Delahaye, Lionel C. Briand, Arnaud Gotlieb, Matthieu Petit
µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization. SERE (2012)
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
A Declarative Pipeline Language for Complex Data Analysis. LOPSTR (2012)
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
Bayesian Annotation Networks for Complex Sequence Analysis. ICLP (Technical Communications) (2011)
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
Inference with constrained hidden Markov models in PRISM. Theory Pract. Log. Program. 10 (4-6) (2010)
Arnaud Gotlieb, Matthieu Petit
A uniform random test data generator for path testing. J. Syst. Softw. 83 (12) (2010)
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
Inference with Constrained Hidden Markov Models in PRISM CoRR (2010)
Arnaud Gotlieb, Matthieu Petit
Towards a Theory for Testing Non-terminating Programs. COMPSAC (1) (2009)
Arnaud Gotlieb, Matthieu Petit
Constraint Reasoning in Path-Oriented Random Testing. COMPSAC (2008)
Matthieu Petit, Arnaud Gotlieb
Boosting Probabilistic Choice Operators. CP (2007)
Matthieu Petit, Arnaud Gotlieb
Uniform Selection of Feasible Paths as a Stochastic Constraint Problem. QSIC (2007)
Arnaud Gotlieb, Matthieu Petit
Path-oriented random testing. Random Testing (2006)
Matthieu Petit, Arnaud Gotlieb
Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. ICLP (2004)