Export 6 results:
Filters: Author is Matthieu Carlier  [Clear All Filters]
2016
R. Bagnara, M. Carlier, R. Gori and A. Gotlieb. "Exploiting Binary Floating-Point Representations for Constraint Propagation." INFORMS Journal of Computing (JoC) 28, no. 1 (2016): 31-46.PDF icon ulpmax.pdf (512.9 KB)
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.
R. Bagnara, M. Carlier, R. Gori and A. Gotlieb. Symbolic Path-Oriented Test Data Generation for Floating-Point Programs In Proc. of Int. Conf. on Soft. Testing, Validation and Verification (ICST'2013) - 10 pages, Edited by IEEE. Luxembourg: IEEE, 2013.
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.
2011
M. Carlier and A. Gotlieb. Filtering by ULP Maximum In Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2011), Nov. 7-9, 2011, Boca Raton, Florida, USA. IEEE, 2011.PDF icon Simula.simula.880.pdf (108.63 KB)
A. Gotlieb. Filtering by ULP maximum, In: Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2011), In 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2011), Edited by M. Carlier. IEEE, 2011.