S. Kanagasabapathi and M. Thushara, “FORWARD AND BACKWARD STATIC ANALYSIS FOR CRITICAL NUMERICAL ACCURACY IN FLOATING POINT PROGRAMS”, csci, vol. 21, no. 2, Apr. 2020.