Selected Scientific Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Matthieu Carlier  [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)