William Snavely

Composing Effective Software Security Assurance Workflows

William R. Nichols, James McHale, David Sweeney, 2018 .

Hands-On Tutorial: Auditing Static Analysis Alerts Using a Lexicon & Rules

William Snavely, David Svoboda, Lori Flynn, 2017, 2017 IEEE Cybersecurity Development (SecDev).

Flight Software Programming Language Selection: A Security Perspective

William Snavely, Craig Meyers, Brad Runyon, 2018 .

Comm 786: Seminar on Communication and Leadership

William Snavely, 2014 .

Spacecraft memory and real-time executive monitoring to provide cyber anomaly detection

William Snavely, Brad Runyon, Chris Inacio, 2018 .

Cyber Resilient Flight Software for Spacecraft

William Snavely, Sagar Chaki, Joseph Betser, 2017 .

Prioritizing Alerts from Multiple Static Analysis Tools, Using Classification Models

William Snavely, David Svoboda, Nathan M. VanHoudnos, 2018, 2018 IEEE/ACM 1st International Workshop on Software Qualities and their Dependencies (SQUADE).

Making DidFail Succeed: Enhancing the CERT Static Taint Analyzer for Android App Sets

William Snavely, Wei Shen, William Klieber, 2015 .

FidFail: Coverage and Precision Enhancement

William Snavely, Hongli Yin, William Klieber, 2017 .

Test Suites as a Source of Training Data for Static Analysis Alert Classifiers

William Snavely, Lori Flynn, Zachary Kurtz, 2021, 2021 IEEE/ACM International Conference on Automation of Software Test (AST).