 | 2011 |
|---|
| 10 |       | Henning Christiansen,
Christian Theil Have,
Ole Torp Lassen,
Matthieu Petit:
Bayesian Annotation Networks for Complex Sequence Analysis.
ICLP (Technical Communications) 2011: 220-230 |
| 2010 |
|---|
| 9 | | Henning Christiansen,
Christian Theil Have,
Ole Torp Lassen,
Matthieu Petit:
Inference with Constrained Hidden Markov Models in PRISM
CoRR abs/1007.5421: (2010) |
| 8 | | Arnaud Gotlieb,
Matthieu Petit:
A uniform random test data generator for path testing.
Journal of Systems and Software 83(12): 2618-2626 (2010) |
| 7 | | Henning Christiansen,
Christian Theil Have,
Ole Torp Lassen,
Matthieu Petit:
Inference with constrained hidden Markov models in PRISM.
TPLP 10(4-6): 449-464 (2010) |
| 2009 |
|---|
| 6 | | Arnaud Gotlieb,
Matthieu Petit:
Towards a Theory for Testing Non-terminating Programs.
COMPSAC (1) 2009: 160-165 |
| 2008 |
|---|
| 5 | | Arnaud Gotlieb,
Matthieu Petit:
Constraint Reasoning in Path-Oriented Random Testing.
COMPSAC 2008: 168-171 |
| 2007 |
|---|
| 4 | | Matthieu Petit,
Arnaud Gotlieb:
Boosting Probabilistic Choice Operators.
CP 2007: 559-573 |
| 3 | | Matthieu Petit,
Arnaud Gotlieb:
Uniform Selection of Feasible Paths as a Stochastic Constraint Problem.
QSIC 2007: 280-285 |
| 2006 |
|---|
| 2 | | Arnaud Gotlieb,
Matthieu Petit:
Path-oriented random testing.
Random Testing 2006: 28-35 |
| 2004 |
|---|
| 1 | | Matthieu Petit,
Arnaud Gotlieb:
Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing.
ICLP 2004: 471-472 |
Data released under the ODC-BY 1.0 license — See also our legal information page