RealSanitizer: Detecting Floating-Point Errors via a Dynamic Precision Oracle.

Yuantao Hu, Shizhong Zhao, Yun Wang, Mingyuan Xia

Browse the full TASE paper archive.