| 2007 |
|---|
| 7 | EE | Tristan Denmat,
Arnaud Gotlieb,
Mireille Ducassé:
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming.
CP 2007: 241-255 |
| 6 | EE | Arnaud Gotlieb,
Tristan Denmat,
Bernard Botella:
Goal-oriented test data generation for pointer programs.
Information & Software Technology 49(9-10): 1030-1044 (2007) |
| 2005 |
|---|
| 5 | EE | Arnaud Gotlieb,
Tristan Denmat,
Bernard Botella:
Constraint-based test data generation in the presence of stack-directed pointers.
ASE 2005: 313-316 |
| 4 | EE | Tristan Denmat,
Mireille Ducassé,
Olivier Ridoux:
Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information.
ASE 2005: 396-399 |
| 3 | EE | Arnaud Gotlieb,
Tristan Denmat,
Bernard Botella:
Goal-Oriented Test Data Generation for Programs with Pointer Variables.
COMPSAC (1) 2005: 449-454 |
| 2 | EE | Tristan Denmat,
Arnaud Gotlieb,
Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning.
WLPE 2005: 1-13 |
| 1 | EE | Tristan Denmat,
Arnaud Gotlieb,
Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning
CoRR abs/cs/0508108: (2005) |
