Latest Additions to the Library
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.