Selected Scientific Publications
Export 1 results:Author Title Type [ Year]
Filters: First Letter Of Title is S and Author is Matthieu Carlier [Clear All Filters]
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation. :10.. 2013.