@misc{indiciae1ed25577230d,
  title = {Adventures in Automated Software Analysis},
  author = {Zheng, Victoria Si-Si [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] and Kopczyk, Dorota [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)] (ORCID:000900034242037X) and Crussell, Jonathan [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] (ORCID:000900018125789X) and Carson, Michael John [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] (ORCID:000900011418255X)},
  year = {2025},
  doi = {10.2172/3024824},
  url = {https://www.osti.gov/biblio/3024824},
  note = {Source identifier: 3024824}
}