SBIR/STTR Research Award
Concolic Testing with Metronome
Award amount
$99,999Program and phase
SBIR · Phase IAward year
2009Award details
- Awarding agency
- Department of Homeland Security
- Branch
- Not reported
- Recipient company
- GRAMMATECH INC
- Proposal award date
- Not reported
- Contract end date
- Not reported
- UEI
- CBXRSPNRF8F9
- Solicitation number
- Not reported
- Topic code
- Not reported
Research 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.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- REAFFIRM: Reverse Engineer, Analyze, and Fix Firmware
- Scalpel-Debloat
- FPGA Hardening Against Vulnerabilities and Radiation Effects
- CRAM: C++ to Rust Assisted Migration PH2
- Automated Malware Generation for Avionics Cyber Resiliency
Research funding history
132 SBIR/STTR records share this UEI (1989–2025). Reported award amounts total $51,342,070. Reported amounts are not federal obligations.
Phases: Phase I, Phase II, Phase II – Direct to Phase II
Agencies: Department of Defense, National Aeronautics and Space Administration, Department of Homeland Security, National Science Foundation, Department of Commerce