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.

2014 Silver Medal Award

AWARD CITATION

For enabling unprecedented levels of software reliability through development of innovative software testing methodologies and tools.

GROUP AWARD

Raghu N. Kacker

Laboratory Programs, Information Technology Laboratory, Applied and Computational Mathematics Division

D. Richard Kuhn

Laboratory Programs, Information Technology Laboratory, Computer Security Division