most citedAutomatic generation and verification of test-stable floating-point code

1 citations · 1 across the 1 of their papers we have counts for

collaborators

2 papers

cs.PL2020★ 1 cited

Automatic generation and verification of test-stable floating-point code

Laura Titolo, Mariano Moscato, Cesar A. Muñoz

Test instability in a floating-point program occurs when the control flow of the program diverges from its ideal execution assuming real arithmetic. This phenomenon is caused by th…

cs.PL2018

Eliminating Unstable Tests in Floating-Point Programs

Laura Titolo, Cesar A. Muñoz, Marco A. Feliu +1

Round-off errors arising from the difference between real numbers and their floating-point representation cause the control flow of conditional floating-point statements to deviate…