TY  - RPRT
TI  - Adventures in Automated Software Analysis
AU  - Zheng, Victoria Si-Si [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)]
AU  - Kopczyk, Dorota [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)] (ORCID:000900034242037X)
AU  - Crussell, Jonathan [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] (ORCID:000900018125789X)
AU  - Carson, Michael John [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] (ORCID:000900011418255X)
PY  - 2025
DO  - 10.2172/3024824
UR  - https://www.osti.gov/biblio/3024824
ID  - 3024824
ER  -