Matthieu Petit

13 papers A 1B 2C 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2012 C conf
A Declarative Pipeline Language for Complex Data Analysis.
LOPSTR
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
2012 — conf
µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization.
SERE
Mickaël Delahaye, Lionel C. Briand, Arnaud Gotlieb, Matthieu Petit
2011 — conf
Bayesian Annotation Networks for Complex Sequence Analysis.
ICLP (Technical Communications)
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
2011 — ch.
Taming the Zoo of Discrete HMM Subspecies & Some of their Relatives.
Biology, Computation and Linguistics
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
2010 J jnl
A uniform random test data generator for path testing.
J. Syst. Softw.
Arnaud Gotlieb, Matthieu Petit
2010 J jnl
Inference with Constrained Hidden Markov Models in PRISM
CoRR
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
2010 J jnl
Inference with constrained hidden Markov models in PRISM.
Theory Pract. Log. Program.
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
2009 — conf
Towards a Theory for Testing Non-terminating Programs.
COMPSAC (1)
Arnaud Gotlieb, Matthieu Petit
2008 B conf
Constraint Reasoning in Path-Oriented Random Testing.
COMPSAC
Arnaud Gotlieb, Matthieu Petit
2007 A conf
Boosting Probabilistic Choice Operators.
CP
Matthieu Petit, Arnaud Gotlieb
2007 — conf
Uniform Selection of Feasible Paths as a Stochastic Constraint Problem.
QSIC
Matthieu Petit, Arnaud Gotlieb
2006 — conf
Path-oriented random testing.
Random Testing
Arnaud Gotlieb, Matthieu Petit
2004 B conf
Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing.
ICLP
Matthieu Petit, Arnaud Gotlieb