Follow
Daming Zou
Daming Zou
Postdoctoral Researcher, ETH Zurich
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
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
2152019
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
482015
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
332019
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
202016
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
42022
The system can't perform the operation now. Try again later.
Articles 1–5