columpio / survey-symbolic-execution Goto Github PK
View Code? Open in Web Editor NEWThis project forked from season-lab/survey-symbolic-execution
A survey by the SEASON lab on symbolic execution tools and techniques. A stable draft can be found at https://arxiv.org/abs/1610.00502
Home Page: http://season-lab.github.io