Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Software Quality Group

The Software Quality Group develops tools, methods, and related models for improving the process of ensuring that software behaves correctly and for identifying software defects, thus helping industry improve the quality of software development and maintenance.

 

News and Updates

Publications

A system of quantities from software metrology

Author(s)
David Flater
International Organization for Standardization (ISO)/International Electrotechnical Commission (IEC) 80000, the International System of Quantities, collects and

SATE VI Ockham Sound Analysis Criteria

Author(s)
Paul E. Black, Kanwardeep S. Walia
Static analyzers examine the source or executable code of programs to find problems. Many static analyzers use heuristics or approximations to examine programs

Opaque Wrappers and Patching: Negative Results

Author(s)
Paul E. Black, Monika Singh
When a patch is released for buggy software, bad actors may be able to analyze the patch and create an attack on unpatched machines. A wrapper could block

Software

UNRAVEL

Computer Aided Software Engineering (CASE) tool, unravel. This tool can assist evaluation of high integrity software by using program slices to extract

Awards

Press Coverage

Contacts