Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies
Automatic detection of floating-point exceptions