• 

  ksluckow/awesome-symbolic-execution

  

  github.com

  A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

  awesome-list dynamic-analysis dynamic-symbolic-execution symbolic-execution

  • Add  

  1

Appears in lists (1)

• awesome-software-quality