Cloud Computing at the Tactical Edge

This technical note presents a strategy to overcome the challenges of obtaining sufficient computation power to run applications needed for warfighting and disaster relief missions. It discusses the use of...

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.

Towards an Assurance Case Practice for Medical Devices

This report explores how the assurance case promises a technology answer for the challenge that manufacturers and federal regulators face in gaining confidence about the performance of software-dominated medical devices.

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.

Software Product Lines: Report of the 2009 U.S. Army Software Product Line Workshop

This report is a synthesis of the presentations and discussions that took place during the 2009 U.S. Army Software Product Line Workshop.