| 2008 |
|---|
| 21 | EE | Arnaud Gotlieb,
Matthieu Petit:
Constraint Reasoning in Path-Oriented Random Testing.
COMPSAC 2008: 168-171 |
| 2007 |
|---|
| 20 | EE | Tristan Denmat,
Arnaud Gotlieb,
Mireille Ducassé:
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming.
CP 2007: 241-255 |
| 19 | EE | Matthieu Petit,
Arnaud Gotlieb:
Boosting Probabilistic Choice Operators.
CP 2007: 559-573 |
| 18 | EE | Matthieu Petit,
Arnaud Gotlieb:
Uniform Selection of Feasible Paths as a Stochastic Constraint Problem.
QSIC 2007: 280-285 |
| 17 | EE | 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 | EE | Sandrine-Dominique Gouraud,
Arnaud Gotlieb:
Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine.
PADL 2006: 1-15 |
| 15 | EE | 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 | EE | Arnaud Gotlieb,
Matthieu Petit:
Path-oriented random testing.
Random Testing 2006: 28-35 |
| 13 | EE | Bernard Botella,
Arnaud Gotlieb,
Claude Michel:
Symbolic execution of floating-point computations.
Softw. Test., Verif. Reliab. 16(2): 97-121 (2006) |
| 2005 |
|---|
| 12 | EE | Arnaud Gotlieb,
Tristan Denmat,
Bernard Botella:
Constraint-based test data generation in the presence of stack-directed pointers.
ASE 2005: 313-316 |
| 11 | EE | Arnaud Gotlieb,
Tristan Denmat,
Bernard Botella:
Goal-Oriented Test Data Generation for Programs with Pointer Variables.
COMPSAC (1) 2005: 449-454 |
| 10 | EE | Tristan Denmat,
Arnaud Gotlieb,
Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning.
WLPE 2005: 1-13 |
| 9 | EE | Tristan Denmat,
Arnaud Gotlieb,
Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning
CoRR abs/cs/0508108: (2005) |
| 2004 |
|---|
| 8 | EE | Matthieu Petit,
Arnaud Gotlieb:
Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing.
ICLP 2004: 471-472 |
| 2003 |
|---|
| 7 | EE | Arnaud Gotlieb,
Bernard Botella:
Automated Metamorphic Testing.
COMPSAC 2003: 34-40 |
| 6 | EE | Arnaud Gotlieb:
Exploiting Symmetries to Test Programs.
ISSRE 2003: 365-374 |
| 2002 |
|---|
| 5 | EE | 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 | EE | Arnaud Gotlieb,
Bernard Botella,
Michel Rueher:
A CLP Framework for Computing Structural Test Data.
Computational Logic 2000: 399-413 |
| 1998 |
|---|
| 3 | EE | 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 |
