Tristan Denmat

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

Arnaud Gotlieb, Mireille Ducassé, Tristan Denmat, 2007, CP.

Goal-oriented test data generation for pointer programs

Arnaud Gotlieb, Bernard Botella, Tristan Denmat, 2007, Inf. Softw. Technol..

Improving Constraint-Based Testing with Dynamic Linear Relaxations

Arnaud Gotlieb, Mireille Ducassé, Tristan Denmat, 2007, The 18th IEEE International Symposium on Software Reliability (ISSRE '07).

Data mining and cross-checking of execution traces. A re-interpretation of Jones, Harrold and Stasko test information visualization

Olivier Ridoux, Mireille Ducassé, Tristan Denmat, 2005 .

Data mining and cross-checking of execution traces: a re-interpretation of Jones, Harrold and Stasko test information

Olivier Ridoux, Mireille Ducassé, Tristan Denmat, 2005, ASE.

Goal-oriented test data generation for programs with pointer variables

Arnaud Gotlieb, Bernard Botella, Tristan Denmat, 2005, 29th Annual International Computer Software and Applications Conference (COMPSAC'05).

Constraint-based test data generation in the presence of stack-directed pointers

Arnaud Gotlieb, Bernard Botella, Tristan Denmat, 2005, ASE '05.

Proving or Disproving likely Invariants with Constraint Reasoning pdf

Arnaud Gotlieb, Mireille Ducassé, Tristan Denmat, 2005, WLPE.

Constraint-based reachability

Arnaud Gotlieb, Nadjib Lazaar, Tristan Denmat, 2012, Infinity.

Data Mining and Cross-checking of Execution Traces: A re-interpretation of Jones, Harrold and Stasko test information visualization (Long version)

Olivier Ridoux, Mireille Ducassé, Tristan Denmat, 2005 .

Data Mining and Cross-checking of Execution Traces

Olivier Ridoux, Mireille Ducassé, Tristan Denmat, 2005 .