@misc{indiciae4fdddb4b8b54,
  title = {Improving Floating Point Symbolic Execution Coverage with Fixed Point Approximations.},
  author = {Rutledge, Richard and Teranishi, Keita and Alessandro, Orso},
  year = {2022},
  url = {https://www.osti.gov/biblio/2004351},
  note = {Source identifier: 2004351}
}