Cover Image

A Mathematics-Guided Approach to Floating-Point Error Detection

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tan, Youshuai, Zhang, Zhanwei, Ding, Zishuo, Zheng, Lianyu, Chen, Jinfu, Shang, Weiyi
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Computing Floating-Point Errors by Injecting Perturbations
by: Tan, Youshuai, et al.
Published: (2025)

OFP-Repair: Repairing Floating-point Errors via Original-Precision Arithmetic
by: Tan, Youshuai, et al.
Published: (2025)

DELA: A Novel Approach for Detecting Errors Induced by Large Atomic Condition Numbers
by: Tan, Youshuai, et al.
Published: (2024)

Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning
by: Wang, Xin, et al.
Published: (2025)

A Multi-Language Perspective on the Robustness of LLM Code Generation
by: Rabbi, Fazle, et al.
Published: (2025)

Multi-LLM Orchestration for High-Quality Code Generation: Exploiting Complementary Model Strengths
by: Chen, Huashan, et al.
Published: (2025)

LLM4Perf: Large Language Models Are Effective Samplers for Multi-Objective Performance Modeling
by: Wang, Xin, et al.
Published: (2025)

Large Language Models Based JSON Parser Fuzzing for Bug Discovery and Behavioral Analysis
by: Zhong, Zhiyuan, et al.
Published: (2024)

Revealing Floating-Point Accumulation Orders in Software/Hardware Implementations
by: Xie, Peichen, et al.
Published: (2024)

Subgraph-Oriented Testing for Deep Learning Libraries
by: Xie, Xiaoyuan, et al.
Published: (2024)

Easy over Hard: A Simple Baseline for Test Failures Causes Prediction
by: Gao, Zhipeng, et al.
Published: (2024)

Logging Like Humans for LLMs: Rethinking Logging via Execution and Runtime Feedback
by: Wang, Xin, et al.
Published: (2026)

LLM4FP: LLM-Based Program Generation for Triggering Floating-Point Inconsistencies Across Compilers
by: Wang, Yutong, et al.
Published: (2025)

From Feedback to Failure: Automated Android Performance Issue Reproduction
by: Li, Zhengquan, et al.
Published: (2025)

Early Detection of Performance Regressions by Bridging Local Performance Data and Architectural Models
by: Liao, Lizhi, et al.
Published: (2024)

A Comprehensive Study of Deep Learning Model Fixing Approaches
by: You, Hanmo, et al.
Published: (2025)

An Empirical Study on the Capability of LLMs in Decomposing Bug Reports
by: Chen, Zhiyuan, et al.
Published: (2025)

Reflective Unit Test Generation for Precise Type Error Detection with Large Language Models
by: Yang, Chen, et al.
Published: (2025)

ADPerf: Investigating and Testing Performance in Autonomous Driving Systems
by: Pham, Tri Minh-Triet, et al.
Published: (2025)

Detecting Build Dependency Errors in Incremental Builds
by: Lyu, Jun, et al.
Published: (2024)

Search-Induced Issues in Web-Augmented LLM Code Generation: Detecting and Repairing Error-Inducing Pages
by: Wang, Guoqing, et al.
Published: (2026)

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
by: Gilot, Andrea, et al.
Published: (2025)

Floating-Point Neural Network Verification at the Software Level
by: Manino, Edoardo, et al.
Published: (2025)

Is Your Private Information Logged? An Empirical Study on Android App Logs
by: Chen, Zhiyuan, et al.
Published: (2026)

Prompt Learning for Multi-Label Code Smell Detection: A Promising Approach
by: Liu, Haiyang, et al.
Published: (2024)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
by: Tirpankar, Tanmay, et al.
Published: (2025)

Focused-DPO: Enhancing Code Generation Through Focused Preference Optimization on Error-Prone Points
by: Zhang, Kechi, et al.
Published: (2025)

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
by: Cheng, Xiao, et al.
Published: (2025)

EffiBench: Benchmarking the Efficiency of Automatically Generated Code
by: Huang, Dong, et al.
Published: (2024)

From Ranking to Reasoning: Explainable Web API Recommendation via Semantic Reasoning
by: Xu, Zishuo, et al.
Published: (2025)

SGAgent: Suggestion-Guided LLM-Based Multi-Agent Framework for Repository-Level Software Repair
by: Zhang, Quanjun, et al.
Published: (2026)

Cerberus: Multi-Agent Reasoning and Coverage-Guided Exploration for Static Detection of Runtime Errors
by: Dhulipala, Hridya, et al.
Published: (2025)

An Adversarial Robust Behavior Sequence Anomaly Detection Approach Based on Critical Behavior Unit Learning
by: Zhan, Dongyang, et al.
Published: (2025)

Unveiling Code Clone Patterns in Open Source VR Software: An Empirical Study
by: Chen, Huashan, et al.
Published: (2025)

Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR
by: Sun, Zeyu, et al.
Published: (2025)

A Story About Cohesion and Separation: Label-Free Metric for Log Parser Evaluation
by: Qin, Qiaolin, et al.
Published: (2025)

LLM-Guided Issue Generation from Uncovered Code Segments
by: Pressato, Diany, et al.
Published: (2026)

Detecting Flaky Tests in Quantum Software: A Dynamic Approach
by: Kim, Dongchan, et al.
Published: (2025)

AnomalyGen: Enhancing Log-Based Anomaly Detection with Code-Guided Data Augmentation
by: Li, Xinyu, et al.
Published: (2026)

How We Built Cedar: A Verification-Guided Approach
by: Disselkoen, Craig, et al.
Published: (2024)