/C-Path-Finder

An automatic test case generator for C source code using Memorized Symbolic Execution

Primary LanguageCMIT LicenseMIT

C-Path-Finder

An automatic unit test case generator for C source code using Memorized Symbolic Execution & z3 solver