@misc{13545,
  author = {Arnaud Gotlieb},
  title = {Symbolic Path-Oriented Test Data Generation for Floating-Point Programs},
  year = {2014},
  journal = {Dagsthul Seminar (Symbolic Methods and Constraint Solving)},
}