التفاصيل البيبلوغرافية
العنوان: |
Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation |
المؤلفون: |
Zhang, Zuoyan, Zhou, Bei, Hao, Jiangwei, Yang, Hongru, Cui, Mengqi, Zhou, Yuchang, Song, Guanghui, Li, Fei, Xu, Jinchen, Zhao, Jie |
المصدر: |
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :1441-1453 Sep, 2023 |
Relation: |
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) |
قاعدة البيانات: |
IEEE Xplore Digital Library |