Selected Scientific Publications

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