Zuoyan Zhang, Shihan Yuan, Hongru Yang, Jie Zhao 0002, Jinchen Xu. Scalable Detection of Floating-Point Errors via Adaptive Parallel Subdomain Search. In 25th International Conference on Software Quality, Reliability and Security, QRS 2025, Hangzhou, China, July 16-20, 2025. pages 392-403, IEEE, 2025. [doi]
Abstract is missing.