Roberto Bagnara
External collaborator
Publications
Simula-affiliated publications listed
2016
Journal Articles
Read Exploiting Binary Floating-Point Representations for Constraint Propagation
R. Bagnara, M. Carlier, R. Gori and A. Gotlieb
Exploiting Binary Floating-Point Representations for Constraint Propagation
INFORMS Journal of Computing (JoC)
Read Exploiting Binary Floating-Point Representations for Constraint Propagation
R. Bagnara, M. Carlier, R. Gori and A. Gotlieb
Exploiting Binary Floating-Point Representations for Constraint Propagation
INFORMS Journal of Computing (JoC)
2013
Proceedings, refereed
Read Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
R. Bagnara, M. Carlier, R. Gori and A. Gotlieb
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
Proc. of Int. Conf. on Soft. Testing, Validation and Verification (ICST'2013) - 10 pages