1 code implementation • 13 Feb 2023 • Linyi Li, Yuhao Zhang, Luyao Ren, Yingfei Xiong, Tao Xie
To assure high reliability against numerical defects, in this paper, we propose the RANUM approach including novel techniques for three reliability assurance tasks: detection of potential numerical defects, confirmation of potential-defect feasibility, and suggestion of defect fixes.