Wei-Fan Chiang Ganesh Gopalakrishnan Zvonimir Rakamaric Alexey Solovyev Efficient search for inputs causing high floating-point errors. 43-52 2014 PPoPP https://doi.org/10.1145/2555243.2555265 https://doi.org/10.1145/2692916.2555265 https://www.wikidata.org/entity/Q130992051 conf/ppopp/2014 db/conf/ppopp/ppopp2014.html#ChiangGRS14