gmh5225 / symbolic-execution-symbolicexecutioncoursesample Goto Github PK
View Code? Open in Web Editor NEWThis project forked from atredis-jordan/symbolicexecutioncoursesample
A small sample from the "Practical Symbolic Execution" course, showing some of the slides describing test case generation, and an associated small lab