Symbolic Path-Oriented Test Data Generation for Floating-Point Programs.

Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb

Browse the full ICST paper archive.