Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies
ICSE, 2015.
@inproceedings{ICSE-v1-2015-ZouWXZSM, acmid = "2818820", author = "Daming Zou and Ran Wang and Yingfei Xiong and Lu Zhang and Zhendong Su and Hong Mei", booktitle = "{Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, Volume 1}", doi = "10.1109/ICSE.2015.70", isbn = "978-1-4799-1934-5", pages = "529--539", publisher = "{IEEE}", title = "{A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies}", year = 2015, }