@entry{chi-gop-rak-sol-14-aa-maxfper, author = {WF Chiang and G Gopalakrishnan and Z Rakamaric...}, title = {Efficient search for inputs causing high floating-point errors}, journal = {Proceedings of the 19th ...,}, volume = {}, number = {}, pages = {}, year = 2014, month = , doi = {}, comment = {}, abstract = {}, 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 ...} }