Matthieu Petit

	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

Coauthor Index

1

Arnaud Gotlieb

[1] [2] [3] [4] [5] [6]