Robustness Analysis of Floating-Point Programs by Self-Composition. - Chen, Liqian; Jiang, Jiahong; Yin, Banghu; Dong, Wei; Wang, Ji (J. Appl. Math., 2014)