Symbolic execution is the technique of running programs with symbolic variables instead of concrete inputs. This lets one reason about entire classes of input and can find specific input values for which the program is not well-behaved. See A Survey of Symbolic Execution Techniques for more details.
-
Notifications
You must be signed in to change notification settings - Fork 0
nilscrm/symbolic-execution
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published