Perturbing numerical calculations for statistical analysis of floating-point program (in)stability

Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su. Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. In Paolo Tonella, Alessandro Orso, editors, Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010. pages 131-142, ACM, 2010. [doi]

Abstract

Abstract is missing.