Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability

Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, Chun Huang. Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability. In Tao Zhang, Xin Xia, Nicole Novielli, editors, IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2023, Taipa, Macao, March 21-24, 2023. pages 224-235, IEEE, 2023. [doi]

Abstract

Abstract is missing.