Concolic Testing with Metronome

Award Information
Agency:
Department of Homeland Security
Branch
n/a
Amount:
$99,999.00
Award Year:
2009
Program:
SBIR
Phase:
Phase I
Contract:
N10PC20017
Award Id:
89997
Agency Tracking Number:
0921090
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
317 N. Aurora Street, Ithaca, NY, 14850
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
n/a
Principal Investigator:
Denis Gopan
(608) 827-0657
gopan@grammatech.com
Business Contact:
Ray Teitelbaum
(607) 273-7340
tt@grammatech.com
Research Institute:
n/a
Abstract
We propose to build a system that combines novel automatic test generation techniques with state-of-the-art multi-platform continuous integration technology. The proposed system will automatically generate test data by using a combination of symbolic and concrete executions to intelligently explore the space of inputs. The continuous integration technology will enable the system to detect defects very early in the development cycle.

* information listed above is at the time of submission.

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government