| 2007 |
|---|
| 9 | 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 |
|---|
| 8 | EE | Bernard Botella,
Arnaud Gotlieb,
Claude Michel:
Symbolic execution of floating-point computations.
Softw. Test., Verif. Reliab. 16(2): 97-121 (2006) |
| 2005 |
|---|
| 7 | EE | Arnaud Gotlieb,
Tristan Denmat,
Bernard Botella:
Constraint-based test data generation in the presence of stack-directed pointers.
ASE 2005: 313-316 |
| 6 | EE | Arnaud Gotlieb,
Tristan Denmat,
Bernard Botella:
Goal-Oriented Test Data Generation for Programs with Pointer Variables.
COMPSAC (1) 2005: 449-454 |
| 2003 |
|---|
| 5 | EE | Arnaud Gotlieb,
Bernard Botella:
Automated Metamorphic Testing.
COMPSAC 2003: 34-40 |
| 2002 |
|---|
| 4 | 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 |
|---|
| 3 | EE | Arnaud Gotlieb,
Bernard Botella,
Michel Rueher:
A CLP Framework for Computing Structural Test Data.
Computational Logic 2000: 399-413 |
| 1998 |
|---|
| 2 | EE | Arnaud Gotlieb,
Bernard Botella,
Michel Rueher:
Automatic Test Data Generation Using Constraint Solving Techniques.
ISSTA 1998: 53-62 |
| 1997 |
|---|
| 1 | | Corinne Bos,
Bernard Botella,
Philippe Vanheeghe:
Modelling and Simulating Human Behaviours with Conceptual Graphs.
ICCS 1997: 275-289 |
