Arnaud Gotlieb

	2012
38		Sébastien Bardin, Arnaud Gotlieb: fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays. CPAIOR 2012: 17-33
37		Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb: A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. TAP 2012: 35-50
36		Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah: A CP framework for testing CP. Constraints 17(2): 123-147 (2012)
	2011
35		Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah: A Framework for the Automatic Correction of Constraint Programs. ICST 2011: 319-326
34		Matthieu Carlier, Arnaud Gotlieb: Filtering by ULP Maximum. ICTAI 2011: 209-214
33		Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb: PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models. ISSRE 2011: 120-129
	2010
32		Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah: On Testing Constraint Programs. CP 2010: 330-344
31		Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb: Constraint Reasoning in FocalTest. ICSOFT (2) 2010: 82-91
30		Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb: Explanation-Based Generalization of Infeasible Path. ICST 2010: 215-224
29		Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah: Fault Localization in Constraint Programs. ICTAI (1) 2010: 61-67
28		Florence Charreteur, Arnaud Gotlieb: Constraint-Based Test Input Generation for Java Bytecode. ISSRE 2010: 131-140
27		Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah: On Testing Constraint Programs CoRR abs/1005.2882: (2010)
26		Arnaud Gotlieb, Matthieu Petit: A uniform random test data generator for path testing. Journal of Systems and Software 83(12): 2618-2626 (2010)
	2009
25		Arnaud Gotlieb, Matthieu Petit: Towards a Theory for Testing Non-terminating Programs. COMPSAC (1) 2009: 160-165
24		Arnaud Gotlieb: Euclide: A Constraint-Based Testing Framework for Critical C Programs. ICST 2009: 151-160
23		Florence Charreteur, Bernard Botella, Arnaud Gotlieb: Modelling dynamic memory management in constraint-based testing. Journal of Systems and Software 82(11): 1755-1766 (2009)
	2008
22		Arnaud Gotlieb, Matthieu Petit: Constraint Reasoning in Path-Oriented Random Testing. COMPSAC 2008: 168-171
	2007
21		Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé: An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. CP 2007: 241-255
20		Matthieu Petit, Arnaud Gotlieb: Boosting Probabilistic Choice Operators. CP 2007: 559-573
19		Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Improving Constraint-Based Testing with Dynamic Linear Relaxations. ISSRE 2007: 181-190
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	Sébastien Bardin	[38]
2	Benoit Baudry	[33]
3	Patrick Bernard	[15]
4	Bernard Botella	[3] [4] [5] [7] [11] [12] [13] [17] [23] [30]
5	Matthieu Carlier	[31] [34] [37]
6	Florence Charreteur	[23] [28]
7	Mickaël Delahaye	[30]
8	Tristan Denmat	[9] [10] [11] [12] [17] [19] [21]
9	Catherine Dubois	[31] [37]
10	Mireille Ducassé	[9] [10] [19] [21]
11	Sandrine-Dominique Gouraud	[16]
12	Aymeric Hervieu	[33]
13	Nadjib Lazaar	[27] [29] [32] [35] [36]
14	Yahia Lebbah	[27] [29] [32] [35] [36]
15	Olivier Lhomme	[1] [2]
16	Claude Michel	[5] [13]
17	Matthieu Petit	[8] [14] [18] [20] [22] [25] [26]
18	Michel Rueher	[1] [2] [3] [4] [5]
19	Patrick Taillibert	[1] [5]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page