smartdone / awesome-symbolic-execution Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ksluckow/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
License: Creative Commons Zero v1.0 Universal