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

De-Identifying Government Datasets: Techniques and Governance

Author(s)
Simson Garfinkel, Joseph Near, Aref Dajani, Phyllis Singer, Barbara Guttman
De-identification is a general term for any process of removing the association between a set of identifying data and the data subject. This document describes

Critical Software Security Weaknesses

Author(s)
Assane Gueye, Carlos Eduardo Cardoso Galhardo, Irena Bojanova
In this work, we append our historical study on the most significant software security weaknesses, re-evaluate our findings, and look closely at the Injection

SATE VI Report: Bug Injection and Collection

Author(s)
Aurelien Delaitre, Paul E. Black, Damien Cupif, Guillaume Haben, Loembe Alex-Kevin, Vadim Okun, Yann Prono, Aurelien Delaitre
The SATE VI report presents the results of a security-focused bug finding evaluation exercise carried out from 2018 to 2023 on various code bases using static

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