Tristan Denmat

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

2007
Goal-oriented test data generation for pointer programs.
Inf. Softw. Technol., 2007

Improving Constraint-Based Testing with Dynamic Linear Relaxations.
Proceedings of the ISSRE 2007, 2007

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2005
Proving or Disproving likely Invariants with Constraint Reasoning.
Proceedings of the 15th International Workshop on Logic Programming Environments, 2005

Constraint-based test data generation in the presence of stack-directed pointers.
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.
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.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005


  Loading...