USA flag logo/image

An Official Website of the United States Government

Concolic Testing with Metronome

Award Information

Agency:
Department of Homeland Security
Branch:
N/A
Award ID:
89997
Program Year/Program:
2009 / SBIR
Agency Tracking Number:
0921090
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
GrammaTech, Inc
531 Esty Street Ithaca, NY 14850-
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2009
Title: Concolic Testing with Metronome
Agency: DHS
Contract: N10PC20017
Award Amount: $99,999.00
 

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.

Principal Investigator:

Denis Gopan
6088270657
gopan@grammatech.com

Business Contact:

Ray Teitelbaum
6072737340
tt@grammatech.com
Small Business Information at Submission:

GrammaTech, Inc.
317 N. Aurora Street Ithaca, NY 14850

EIN/Tax ID: 161338879
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No