Export 4 results:
Search results for biblio_year:1991
Filters: 1 is biblio_year:1979 and 2 is biblio_year:2013 and Author is Catherine Dubois  [Reset Search]
2014
C. Dubois and A. Gotlieb. Towards an Effective Formally Certified Constraint Solver In Selected talk at the 'Verification meets CP' 2014 workshop, Lyon, France. .: ., 2014.
2013
M. Carlier, C. Dubois and A. Gotlieb. "FocalTest: a Constraint Programming Approach for Property-Based Testing." Communications in Computer and Information Science (2013): 140-155.
2012
C. Dubois and A. Gotlieb. A Certified Constraint Solver Over Finite Domains In Proceedings of Formal Methods (FM'12), Paris, Aug. 2012, Edited by D. M. D. Giannakopoulou. Vol. 7436. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
M. Carlier, C. Dubois and A. Gotlieb. A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest In Proceedings of the Tests And Proofs Conference (TAP 2012), Prague, Czech Republic, Edited by J. J. A. Brucker. Vol. 7305. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.