Adventures in Automated Software Analysis

Zheng, Victoria Si-Si [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)]; Kopczyk, Dorota [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)] (ORCID:000900034242037X); Crussell, Jonathan [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] (ORCID:000900018125789X); Carson, Michael John [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] (ORCID:000900011418255X)

doi:10.2172/3024824

DOE OSTI · 3024824

Adventures in Automated Software Analysis

Zheng, Victoria Si-Si [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)]·Kopczyk, Dorota [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)] (ORCID:000900034242037X)·Crussell, Jonathan [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] (ORCID:000900018125789X)·Carson, Michael John [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] (ORCID:000900011418255X)

View original source ↗Read source document ↗Export metadata ↓

Abstract

The source did not provide an abstract. Follow the original record for more information.

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Zheng, Victoria Si-Si [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)], Kopczyk, Dorota [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)] (ORCID:000900034242037X), Crussell, Jonathan [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] (ORCID:000900018125789X), Carson, Michael John [Sandia National Laboratories (SNL-CA), Livermore, CA (United States)] (ORCID:000900011418255X). 2025-04-01. Adventures in Automated Software Analysis. https://doi.org/10.2172/3024824

Cite the original work for its findings. Save a collection to share your selection of sources.