Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability | IEEE Conference Publication | IEEE Xplore