search menu icon-carat-right cmu-wordmark


The SEI provides access to more than 5,000 documents from three decades of research on best practices in software engineering. These documents include technical reports, presentations, webinars, podcasts, blogs, and other searchable materials. You can search our database to find publications that span the SEI's history as well as current research.

SEI Digital Library

Our digital library holds over 30 years of publications that you can browse by topic, author, and publication type.

Browse Digital Library

New in Publications

Headshot of Tim Chick

Secure Systems Don’t Happen by Accident

June 11, 2024 • Webcast
Timothy A. Chick

In this webcast, Tim Chick discusses how security is an integral aspect of the entire software...


Reachability of System Operation Modes in AADL

May 31, 2024 • Technical Report
Lutz Wrage

This report presents an algorithm that constructs the set of reachable SOMs for a given AADL model and the transitions between...

David Svoboda

Automated Repair of Static Analysis Alerts

May 31, 2024 • Podcast
David Svoboda

David Svoboda discusses Redemption, a new open source tool that automatically repairs common errors in C/C++ code generated from static analysis...

learn more
Linda Parker Gates

Can You Rely on Your AI? Applying the AIR Tool to Improve Classifier Performance

May 29, 2024 • Webcast
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...

Headshot of Randy Trzeciak.

Cyber Career Pathways and Opportunities

May 29, 2024 • Podcast
Randall F. Trzeciak

Randy Trzeciak discusses his career journey, resources for pursuing a career in cybersecurity, and the importance of building a diverse...

learn more
Headshot of Justin Smith

Independent Verification & Validation (IV&V) for Agile Developed Projects

May 13, 2024 • Conference Paper
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...