IEEE

Efficient Floating-Point Error Detection for Numerical Programs via Error-Free Transformations

Abstract: This paper presents EFTD, a novel floating-point error detection method using EFT and stochastic progressive random sampling for multi-input programs ...