Matthieu Petit

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

A Declarative Pipeline Language for Complex Data Analysis.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

2011
Bayesian Annotation Networks for Complex Sequence Analysis.
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.
Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

2010
Inference with constrained hidden Markov models in PRISM.
Theory Pract. Log. Program., 2010

A uniform random test data generator for path testing.
J. Syst. Softw., 2010

2009
Towards a Theory for Testing Non-terminating Programs.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
Constraint Reasoning in Path-Oriented Random Testing.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
Uniform Selection of Feasible Paths as a Stochastic Constraint Problem.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Boosting Probabilistic Choice Operators.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
Path-oriented random testing.
Proceedings of the 1st International Workshop on Random Testing, 2006

2004
Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing.
Proceedings of the Logic Programming, 20th International Conference, 2004


  Loading...