An automatic test case generator for C source code using Memorized Symbolic Execution
-
Updated
May 4, 2023 - C
An automatic test case generator for C source code using Memorized Symbolic Execution
Add a description, image, and links to the test-generator topic page so that developers can more easily learn about it.
To associate your repository with the test-generator topic, visit your repo's landing page and select "manage topics."