COVERT: A Framework for Finding Buffer Overflows in C Programs via Software Verification

This report presents COVERT, an automated framework aimed at finding buffer overflows in C programs using state-of-the-art software verification tools and techniques.

Case Study: Model-Based Analysis of the Mission Data System Reference Architecture

This report describes how AADL support an instantiation of a reference architecture, address architectural themes, and provide a foundation for the analysis of performance elements and system assurance concerns.

Reflections on Management: How to Manage Your Software Projects, Your Teams, Your Boss, and Yourself

This book brings together Watts S. Humphrey's most influential essays and articles, sharing insights that are essential for anyone who must achieve quality results in software management.

Acquisition Archetypes: Happy Path Testing

When time and budget are tight, it's tempting to follow the "happy path" in testing. But be careful: it may be a path that brings your program great unhappiness.

Impact of Army Architecture Evaluations

This 2009 report describes the results of a study of the impact that the ATAM evaluations and QAWs had on Army programs.