SEI Digital Library
Latest Publications
Automated Repair of Static Analysis Alerts
• Podcast
By David Svoboda
David Svoboda discusses Redemption, a new open source tool that automatically repairs common errors in C/C++ code generated from static analysis alerts.
ListenCan You Rely on Your AI? Applying the AIR Tool to Improve Classifier Performance
• Webcast
By Linda Parker Gates, Crisanne Nolan, Michael D. Konrad, Suzanne Miller, Nicholas Testa, David James Shepard
In this webcast, SEI researchers discuss a new AI Robustness (AIR) tool that allows users to gauge AI and ML classifier performance with confidence.
WatchCyber Career Pathways and Opportunities
• Podcast
By Randall F. Trzeciak
Randy Trzeciak discusses his career journey, resources for pursuing a career in cybersecurity, and the importance of building a diverse workforce.
ListenUsing LLMs to Automate Static-Analysis Adjudication and Rationales
• Article
By Lori Flynn, William Klieber
This article discusses a model for using large language models (LLMs) to handle static analysis output.
ReadIndependent Verification & Validation (IV&V) for Agile Developed Projects
• Conference Paper
By Justin Smith, Eric Hayes
This IEEE publication highlights an Agile approach to Independent Verification and Validation (IV&V) which can be particularly useful for projects using an Agile development methodology.
ReadThe Value of an Agile Approach to Independent Verification and Validation for Acquisition
• Conference Paper
By Justin Smith
This paper highlights the strategic uses for an Agile approach to Independent Verification and Validation (IV&V) for a program office in acquisition.
ReadRedemption: Automated Repair of Static Analysis Alerts
• Dataset
By Software Engineering Institute
The Redemption tool makes automated repairs to C and C++ source code based on defect alerts produced by static-analysis tools.
DownloadUsing a Scenario to Reason About Implementing a Zero Trust Strategy
• Webcast
By Timothy Morrow, Rhonda Brown, Elias Miller
In this webcast, Tim Morrow, Rhonda Brown and Elias Miller discuss an approach organizations can use to help develop the contextual awareness needed to apply a zero trust strategy.
WatchMy Story in Computing with Sam Procter
• Podcast
By Sam Procter
Sam Procter discusses influences that shaped his career, the importance of embracing diversity in his research and work, and the value of a work-life balance.
ListenExplainable Verification: Survey, Situations, and New Ideas
• White Paper
By Bjorn Andersson, Dionisio de Niz, Mark H. Klein
This report focuses on potential changes in software development practice and research that would help tools used for formal methods explain their output, making software practitioners more likely to trust …
Read