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á bibliografie

Vydáno v:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 1441 - 1453
Hlavní autoři:	Zhang, Zuoyan, Zhou, Bei, Hao, Jiangwei, Yang, Hongru, Cui, Mengqi, Zhou, Yuchang, Song, Guanghui, Li, Fei, Xu, Jinchen, Zhao, Jie
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 11.09.2023
Témata:	Benchmark testing Error analysis Extrapolation Software engineering
ISSN:	2643-1572
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!