Name: CONBOL
Owner: Samsung
Description: CONBOL (CONcrete + symBOLic) is concolic testing tool for C/C++ to generate new concrete inputs (test cases) automatically with the aim of maximizing code coverage and to find bugs in large size industrial embedded software.
Created: 2018-01-09 02:07:55.0
Updated: 2018-01-12 06:05:39.0
Pushed: 2018-01-12 06:05:37.0
Homepage: null
Size: 5
Language: C++
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
CONBOL (CONcrete + symBOLic) is concolic testing tool for C/C++ to generate new concrete inputs (test cases) automatically with the aim of maximizing code coverage and to find bugs in large size industrial embedded software.