Concolic Testing with Metronome

Award Information
Agency: Department of Homeland Security
Branch: N/A
Contract: N10PC20017
Agency Tracking Number: 0921090
Amount: $99,999.00
Phase: Phase I
Program: SBIR
Awards Year: 2009
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
DUNS: N/A
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Denis Gopan
 (608) 827-0657
 gopan@grammatech.com
Business Contact
 Ray Teitelbaum
Phone: (607) 273-7340
Email: 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

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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government