Finding inputs that trigger floating-point exceptions in heterogeneous computing via Bayesian optimization.