TY  - RPRT
TI  - Improving Floating Point Symbolic Execution Coverage with Fixed Point Approximations.
AU  - Rutledge, Richard
AU  - Teranishi, Keita
AU  - Alessandro, Orso
PY  - 2022
UR  - https://www.osti.gov/biblio/2004351
ID  - 2004351
ER  -