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

Existing search heuristics used to find input values that result in significant floating-point (FP) errors or small ranges that cover them are accompanied by severe constraints, complicating their implementation and restricting their general applicability. This paper introduces an error analysis too...

Full description

Bibliographic Details

Published in:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] pp. 1441 - 1453
Main Authors:	Zhang, Zuoyan, Zhou, Bei, Hao, Jiangwei, Yang, Hongru, Cui, Mengqi, Zhou, Yuchang, Song, Guanghui, Li, Fei, Xu, Jinchen, Zhao, Jie
Format:	Conference Proceeding
Language:	English
Published:	IEEE 11.09.2023
Subjects:	Benchmark testing Error analysis Extrapolation Software engineering
ISSN:	2643-1572
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!