Finding inputs that trigger floating-point exceptions in heterogeneous computing via Bayesian optimization. - Laguna, Ignacio; Tran, Anh; Gopalakrishnan, Ganesh (Parallel Computing, 2023)