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
Agency Tracking Number:
0921090
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
GrammaTech, Inc.
317 N. Aurora Street, Ithaca, NY, 14850
Hubzone Owned:
N
Socially and Economically Disadvantaged:
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 Institution:
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

US Flag An Official Website of the United States Government