Matthieu Petit

According to our database, Matthieu Petit authored at least 12 papers between 2004 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization.

Mickaël Delahaye, Lionel C. Briand, Arnaud Gotlieb, Matthieu Petit

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

A Declarative Pipeline Language for Complex Data Analysis.

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

2011

Bayesian Annotation Networks for Complex Sequence Analysis.

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Taming the Zoo of Discrete HMM Subspecies & Some of their Relatives.

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

2010

Inference with constrained hidden Markov models in PRISM.

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

Theory Pract. Log. Program., 2010

A uniform random test data generator for path testing.

Arnaud Gotlieb, Matthieu Petit

J. Syst. Softw., 2010

2009

Towards a Theory for Testing Non-terminating Programs.

Arnaud Gotlieb, Matthieu Petit

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Constraint Reasoning in Path-Oriented Random Testing.

Arnaud Gotlieb, Matthieu Petit

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Uniform Selection of Feasible Paths as a Stochastic Constraint Problem.

Matthieu Petit, Arnaud Gotlieb

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Boosting Probabilistic Choice Operators.

Matthieu Petit, Arnaud Gotlieb

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Path-oriented random testing.

Arnaud Gotlieb, Matthieu Petit

Proceedings of the 1st International Workshop on Random Testing, 2006

2004

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

Matthieu Petit, Arnaud Gotlieb

Proceedings of the Logic Programming, 20th International Conference, 2004