@entry{chi-gop-rak-14-aa,
  author = {WF Chiang and G Gopalakrishnan and Z Rakamaric...},
  title = {Efficient search for inputs causing high floating-point errors},
  journal = {Proceedings of the 19th ...,},
  year = 2014,
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/2555243.2555265?casa_token=GeFZ9kiIoCcAAAAA:me00DFZyAmVYGBcfAeHJTS0nAqQ3FX4s-uo8_7Z1BHv-rTVcinTaIMXx9-kDMtOaygSRHC9h0vc}}},
  quotes = {... We can observe that both interval and affine arithmetic tools, namely Gappa and SmartFloat, returned overly pessimistic results. We manually calculated the range of the outputs and ...}
}