A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies.

Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei

Browse the full ICSE paper archive.