Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies | IEEE Conference Publication | IEEE Xplore