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]

@inproceedings{TangBLS10,
  title = {Perturbing numerical calculations for statistical analysis of floating-point program (in)stability},
  author = {Enyi Tang and Earl T. Barr and Xuandong Li and Zhendong Su},
  year = {2010},
  doi = {10.1145/1831708.1831724},
  url = {http://doi.acm.org/10.1145/1831708.1831724},
  tags = {program analysis, analysis},
  researchr = {https://researchr.org/publication/TangBLS10},
  cites = {0},
  citedby = {0},
  pages = {131-142},
  booktitle = {Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010},
  editor = {Paolo Tonella and Alessandro Orso},
  publisher = {ACM},
  isbn = {978-1-60558-823-0},
}