Selected Scientific Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Keyword is IEEE 754  [Clear All Filters]
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)