Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization.