Sign in

Software Vulnerability Detection Using Backward Trace Analysis and Symbolic Execution.

Hongzhe LiTaebeom KimMunkhbayar Bat-ErdeneHeejo Lee
Published in: ARES (2013)
Keyphrases
  • static analysis
  • symbolic execution
  • databases
  • database systems
  • evolutionary algorithm
  • source code
  • test cases