Export 2 results:
Filters: Author is Roberto Bagnara  [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
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.