@misc{indiciae82a643f95b3d,
  title = {Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version)},
  author = {Zhoulai Fu and Zhendong Su},
  year = {2017},
  url = {https://arxiv.org/abs/1704.03394},
  note = {Source identifier: 1704.03394}
}