EXE symbolic executor

[Google Scholar]

Notes: symbolic execution
Papers: engler:issta:2007, cadar:tiss:2008
  • Symbolic execution for software testing: Three decades later [cadar:cacm:2013]
  • Under-constrained execution: Making automatic code destruction easy and scalable [engler:issta:2007]
  • Symbolic execution with SymCC: Don't interpret, compile! [poeplau:usenix:2020]