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