Login / Signup

Intraprocedural Analysis Based on Symbolic Execution for Bug Detection.

A. E. BorodinI. A. Dudina
Published in: Program. Comput. Softw. (2021)
Keyphrases
  • source code
  • symbolic execution
  • data sets
  • static analysis
  • database
  • real world
  • genetic algorithm