@misc{indiciaec39743e1c159,
  title = {Automated Software Understanding: Binary Analysis via Symbolic Execution.},
  author = {Sabetan, Sam},
  year = {2017},
  url = {https://www.osti.gov/biblio/1508222},
  note = {Source identifier: 1508222}
}