Goal-Oriented Test Data Generation for Programs with Pointer Variables. - Arnaud Gotlieb; Tristan Denmat; Bernard Botella (COMPSAC (1), 2005)

Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information. - Tristan Denmat; Mireille Ducassé; Olivier Ridoux (ASE, 2005)

Constraint-based test data generation in the presence of stack-directed pointers. - Arnaud Gotlieb; Tristan Denmat; Bernard Botella (ASE, 2005)

Proving or Disproving likely Invariants with Constraint Reasoning. - Tristan Denmat; Arnaud Gotlieb; Mireille Ducassé (WLPE, 2005)

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. - Tristan Denmat; Arnaud Gotlieb; Mireille Ducassé (CP, 2007)

Improving Constraint-Based Testing with Dynamic Linear Relaxations. - Tristan Denmat; Arnaud Gotlieb; Mireille Ducassé (ISSRE, 2007)

Goal-oriented test data generation for pointer programs. - Arnaud Gotlieb; Tristan Denmat; Bernard Botella (Inf. Softw. Technol., 2007)

Constraint-based reachability - Arnaud Gotlieb; Tristan Denmat; Nadjib Lazaar (Infinity, 2012)