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