GitHub repository: mightyhouseinc/C-Path-Finder
Description: An automatic test case generator for C source code using Memorized Symbolic Execution