dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Tristan Denmat (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTristan Denmat, Arnaud Gotlieb, Mireille Ducassé: An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. CP 2007: 241-255
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Improving Constraint-Based Testing with Dynamic Linear Relaxations. ISSRE 2007: 181-190
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTristan 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Proving or Disproving likely Invariants with Constraint Reasoning. WLPE 2005: 1-13
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTristan Denmat, Arnaud Gotlieb, Mireille Ducassé: Proving or Disproving likely Invariants with Constraint Reasoning CoRR abs/cs/0508108: (2005)

Selection of 5 from 8 records - Tristan Denmat has 4 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page