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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] S. 1441 - 1453
Hauptverfasser:	Zhang, Zuoyan, Zhou, Bei, Hao, Jiangwei, Yang, Hongru, Cui, Mengqi, Zhou, Yuchang, Song, Guanghui, Li, Fei, Xu, Jinchen, Zhao, Jie
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 11.09.2023
Schlagworte:	Benchmark testing Error analysis Extrapolation Software engineering
ISSN:	2643-1572
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!