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

Celý popis

Podrobná bibliografia

Vydané v:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 1441 - 1453
Hlavní autori:	Zhang, Zuoyan, Zhou, Bei, Hao, Jiangwei, Yang, Hongru, Cui, Mengqi, Zhou, Yuchang, Song, Guanghui, Li, Fei, Xu, Jinchen, Zhao, Jie
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 11.09.2023
Predmet:	Benchmark testing Error analysis Extrapolation Software engineering
ISSN:	2643-1572
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!