Automated Code Repair Based on Inferred Specifications. - William Klieber; Will Snavely (SecDev, 2016)

Static Analysis Alert Audits: Lexicon & Rules. - David Svoboda; Lori Flynn; Will Snavely (SecDev, 2016)

Hands-On Tutorial: Auditing Static Analysis Alerts Using a Lexicon & Rules. - Lori Flynn; David Svoboda; William Snavely (SecDev, 2017)

Practical Precise Taint-flow Static Analysis for Android App Sets. - William Klieber; Lori Flynn; Will Snavely; Michael Zheng (ARES, 2018)

Prioritizing alerts from multiple static analysis tools, using classification models. - Lori Flynn; William Snavely; David Svoboda; Nathan M. VanHoudnos; Richard Qin; Jennifer Burns; David Zubrow; Robert Stoddard; Guillermo Marce-Santurio (SQUADE@ICSE, 2018)

Detecting Leaks of Sensitive Data Due to Stale Reads. - Will Snavely; William Klieber; Ryan Steele; David Svoboda; Andrew Kotov (SecDev, 2018)

Towards security defect prediction with AI. - Carson D. Sestili; William S. Snavely; Nathan M. VanHoudnos (CoRR, 2018)

Test Suites as a Source of Training Data for Static Analysis Alert Classifiers. - Lori Flynn; William Snavely; Zachary Kurtz (AST@ICSE, 2021)