Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation

التفاصيل البيبلوغرافية
العنوان: 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
الوصف
ردمك:9798350329964
تدمد:26431572
DOI:10.1109/ASE56229.2023.00139