Daming Zou and Ran Wang and Yingfei Xiong and Lu Zhang and Zhendong Su and Hong Mei.
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. In
Antonia Bertolino and Gerardo Canfora and Sebastian G. Elbaum editors,
37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, volume 1, pages 529-539, Florence, Italy, 2015. IEEE.