Catherine Dubois
External collaborator
Publications
Simula-affiliated publications listed
2014
Talks, contributed
Read Towards an Effective Formally Certified Constraint Solver
C. Dubois and A. Gotlieb
Towards an Effective Formally Certified Constraint Solver
Selected talk at the 'Verification meets CP' 2014 workshop, Lyon, France
2013
Journal Articles
Read FocalTest: a Constraint Programming Approach for Property-Based Testing
M. Carlier, C. Dubois and A. Gotlieb
FocalTest: a Constraint Programming Approach for Property-Based Testing
Communications in Computer and Information Science
2012
Proceedings, refereed
Read A Certified Constraint Solver Over Finite Domains
C. Dubois and A. Gotlieb
A Certified Constraint Solver Over Finite Domains
Proceedings of Formal Methods (FM'12), Paris, Aug. 2012
Read A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
M. Carlier, C. Dubois and A. Gotlieb
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
Proceedings of the Tests And Proofs Conference (TAP 2012), Prague, Czech Republic