An empirical study of fault localization families and their combinations D Zou, J Liang, Y Xiong, MD Ernst, L Zhang IEEE Transactions on Software Engineering 47 (2), 332-347, 2019 | 245 | 2019 |
A genetic algorithm for detecting significant floating-point inaccuracies D Zou, R Wang, Y Xiong, L Zhang, Z Su, H Mei 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 51 | 2015 |
Detecting floating-point errors via atomic conditions D Zou, M Zeng, Y Xiong, Z Fu, L Zhang, Z Su Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019 | 34 | 2019 |
Detecting and fixing precision-specific operations for measuring floating-point errors R Wang, D Zou, X He, Y Xiong, L Zhang, G Huang Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 19 | 2016 |
Oracle-free repair synthesis for floating-point programs D Zou, Y Gu, Y Shi, MZ Wang, Y Xiong, Z Su Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 957-985, 2022 | 5 | 2022 |