An automatic unit test case generator for C source code using Memorized Symbolic Execution & z3 solver
An automatic test case generator for C source code using Memorized Symbolic Execution
License
sajedjalil/C-Path-Finder
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An automatic test case generator for C source code using Memorized Symbolic Execution
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published