Search the dblp DataBase

Publications of Author

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