Efficient Generation of Error-Inducing Floating-Point Inputs via Symbolic Execution

Floating point is widely used in software to emulate arithmetic over reals. Unfortunately, floating point leads to rounding errors that propagate and accumulate during execution. Generating inputs to maximize the numerical error is critical when evaluating the accuracy of floating-point code. In thi...

Celý popis

Podrobná bibliografie

Vydáno v:	2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) s. 1261 - 1272
Hlavní autoři:	Guo, Hui, Rubio-Gonzalez, Cindy
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 01.10.2020
Témata:	catastrophic cancellation floating-point roundoff errors symbolic execution testing
ISSN:	1558-1225
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!