Re:Symbolic Execution: Intuition and Implementation
by fulafel on Friday March 09, 2018 @12:27AM
(#16549976)
For those wondering about applicability of SE to other languages, see here for a compendium of tools: https://github.com/ksluckow/awesome-symbolic-execution
[ Parent
| on HN ]
There are no comments on this comment yet.