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.
LoongWalker/CONBOL
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.
C++Apache-2.0