DOE OSTI · 2004351
Improving Floating Point Symbolic Execution Coverage with Fixed Point Approximations.
Abstract
Abstract not provided.
Keep this discovery
Explore connections, maps & timelines
Rutledge, Richard, Teranishi, Keita, Alessandro, Orso. 2022-08-01. Improving Floating Point Symbolic Execution Coverage with Fixed Point Approximations.. https://www.osti.gov/biblio/2004351
Cite the original work for its findings. Save a collection to share your selection of sources.