@misc{8809,
  author = {Roberto Bagnara and Matthieu Carlier and Roberta Gori and Arnaud Gotlieb},
  title = {Symbolic Path-Oriented Test Data Generation for Floating-Point Programs},
  year = {2013},
  journal = {Proc. of Int. Conf. on Soft. Testing, Validation and Verification (ICST{\textquoteright}2013) - 10 pages},
  month = {March},
  publisher = {IEEE},
  address = {Luxembourg},
  editor = {IEEE},
}