|
Search the dblp DataBase
Matthieu Petit:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Matthieu Petit, Arnaud Gotlieb
Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. [Citation Graph (0, 0)][DBLP] ICLP, 2004, pp:471-472 [Conf]
- Arnaud Gotlieb, Matthieu Petit
Path-oriented random testing. [Citation Graph (0, 0)][DBLP] Random Testing, 2006, pp:28-35 [Conf]
- Matthieu Petit, Arnaud Gotlieb
Boosting Probabilistic Choice Operators. [Citation Graph (0, 0)][DBLP] CP, 2007, pp:559-573 [Conf]
Constraint Reasoning in Path-Oriented Random Testing. [Citation Graph (, )][DBLP]
Towards a Theory for Testing Non-terminating Programs. [Citation Graph (, )][DBLP]
Uniform Selection of Feasible Paths as a Stochastic Constraint Problem. [Citation Graph (, )][DBLP]
Inference with Constrained Hidden Markov Models in PRISM [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|