Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev. Efficient search for inputs causing high floating-point errors. In José Moreira, James R. Larus, editors, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '14, Orlando, FL, USA, February 15-19, 2014. pages 43-52, ACM, 2014. [doi]
Abstract is missing.