loongwalker / conbol Goto Github PK
View Code? Open in Web Editor NEWThis project forked from samsung/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.
License: Apache License 2.0