Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies.

Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji

Browse the full APSEC paper archive.