Login / Signup

Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection.

Yue WangHao SunQingkai Zeng
Published in: SEKE (2015)
Keyphrases
  • symbolic execution
  • source code
  • specification language
  • test data generation
  • test generation
  • general purpose
  • web services
  • decision trees
  • search algorithm
  • orders of magnitude