ksluckow/awesome-symbolic-execution

[Cadar2013] Symbolic Execution for Software Testing: Three Decades Later

LinqLover opened this issue · 1 comments

LinqLover commented

This is an insightful survey paper with almost 1000 citation, I think it should not miss in this list.

ksluckow commented

Thank you. Can you make a PR?