Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing - Enyi Tang; Xiangyu Zhang; Muller, Norbert T.; Zhenyu Chen; Xuandong Li (IEEE transactions on software engineering, 2017)
Keywords: Algorithm design and analysis; Computer bugs; infinite-precision arithmetic; Libraries; Numerical analysis; Software; Software algorithms; Software development; Software testing; Stability; stochastic arithmetic