Tristan Denmat

According to our database, Tristan Denmat authored at least 8 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Constraint-based reachability

Arnaud Gotlieb, Tristan Denmat, Nadjib Lazaar

Proceedings of the Proceedings 14th International Workshop on Verification of Infinite-State Systems, 2012

2007

Goal-oriented test data generation for pointer programs.

Arnaud Gotlieb, Tristan Denmat, Bernard Botella

Inf. Softw. Technol., 2007

Improving Constraint-Based Testing with Dynamic Linear Relaxations.

Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé

Proceedings of the ISSRE 2007, 2007

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

Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé

Proceedings of the Principles and Practice of Constraint Programming, 2007

2005

Proving or Disproving likely Invariants with Constraint Reasoning.

Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé

Proceedings of the 15th International Workshop on Logic Programming Environments, 2005

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

Arnaud Gotlieb, Tristan Denmat, Bernard Botella

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 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

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Goal-Oriented Test Data Generation for Programs with Pointer Variables.

Arnaud Gotlieb, Tristan Denmat, Bernard Botella

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005