@misc{indiciae46883bc54b8d,
  title = {Searching input values hitting suspicious Intervals in programs with floating-point operations},
  author = {Hélène Collavizza and Claude Michel and Michel Rueher},
  year = {2016},
  url = {https://arxiv.org/abs/1511.01080},
  note = {Source identifier: 1511.01080}
}