Arnaud Gotlieb

	2009
22		Arnaud Gotlieb, Matthieu Petit: Towards a Theory for Testing Non-terminating Programs. COMPSAC (1) 2009: 160-165
	2008
21		Arnaud Gotlieb, Matthieu Petit: Constraint Reasoning in Path-Oriented Random Testing. COMPSAC 2008: 168-171
	2007
20		Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé: An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. CP 2007: 241-255
19		Matthieu Petit, Arnaud Gotlieb: Boosting Probabilistic Choice Operators. CP 2007: 559-573
18		Matthieu Petit, Arnaud Gotlieb: Uniform Selection of Feasible Paths as a Stochastic Constraint Problem. QSIC 2007: 280-285
17		Arnaud Gotlieb, Tristan Denmat, Bernard Botella: Goal-oriented test data generation for pointer programs. Information & Software Technology 49(9-10): 1030-1044 (2007)
	2006
16		Sandrine-Dominique Gouraud, Arnaud Gotlieb: Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. PADL 2006: 1-15
15		Arnaud Gotlieb, Patrick Bernard: A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs. QSIC 2006: 329-336
14		Arnaud Gotlieb, Matthieu Petit: Path-oriented random testing. Random Testing 2006: 28-35
13		Bernard Botella, Arnaud Gotlieb, Claude Michel: Symbolic execution of floating-point computations. Softw. Test., Verif. Reliab. 16(2): 97-121 (2006)
	2005
12		Arnaud Gotlieb, Tristan Denmat, Bernard Botella: Constraint-based test data generation in the presence of stack-directed pointers. ASE 2005: 313-316
11		Arnaud Gotlieb, Tristan Denmat, Bernard Botella: Goal-Oriented Test Data Generation for Programs with Pointer Variables. COMPSAC (1) 2005: 449-454
10		Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Proving or Disproving likely Invariants with Constraint Reasoning. WLPE 2005: 1-13
9		Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Proving or Disproving likely Invariants with Constraint Reasoning CoRR abs/cs/0508108: (2005)
	2004
8		Matthieu Petit, Arnaud Gotlieb: Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing. ICLP 2004: 471-472
	2003
7		Arnaud Gotlieb, Bernard Botella: Automated Metamorphic Testing. COMPSAC 2003: 34-40
6		Arnaud Gotlieb: Exploiting Symmetries to Test Programs. ISSRE 2003: 365-374
	2002
5		Bernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert: Utilisation des contraintes pour la génération automatique de cas de test structurels. Technique et Science Informatiques 21(9): 1163-1187 (2002)
	2000
4		Arnaud Gotlieb, Bernard Botella, Michel Rueher: A CLP Framework for Computing Structural Test Data. Computational Logic 2000: 399-413
	1998
3		Arnaud Gotlieb, Bernard Botella, Michel Rueher: Automatic Test Data Generation Using Constraint Solving Techniques. ISSTA 1998: 53-62
2		Olivier Lhomme, Arnaud Gotlieb, Michel Rueher: Dynamic Optimization of Interval Narrowing Algorithms. J. Log. Program. 37(1-3): 165-183 (1998)
	1996
1		Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert: Boosting the Interval Narrowing Algorithm. JICSLP 1996: 378-392

Coauthor Index

1	Patrick Bernard	[15]
2	Bernard Botella	[3] [4] [5] [7] [11] [12] [13] [17]
3	Tristan Denmat	[9] [10] [11] [12] [17] [20]
4	Mireille Ducassé	[9] [10] [20]
5	Sandrine-Dominique Gouraud	[16]
6	Olivier Lhomme	[1] [2]
7	Claude Michel	[5] [13]
8	Matthieu Petit	[8] [14] [18] [19] [21] [22]
9	Michel Rueher	[1] [2] [3] [4] [5]
10	Patrick Taillibert	[1] [5]

Colors in the list of coauthors