Login / Signup

Patch-Related Vulnerability Detection Based on Symbolic Execution.

Weizhong QiangYuehua LiaoGuozhong SunLaurence T. YangDeqing ZouHai Jin
Published in: IEEE Access (2017)
Keyphrases
  • symbolic execution
  • data sets
  • static analysis
  • test generation
  • test data generation
  • case study
  • optimization algorithm