Selected Scientific Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is IEEE 754 and Author is Roberto Bagnara  [Clear All Filters]
2013
Bagnara R, Carlier M, Gori R, Gotlieb A.  2013.  Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation. :10.PDF icon BagnaraCGG13ICST.pdf (367.36 KB)