Login / Signup

Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation.

A. Yu. Gerasimov
Published in: Program. Comput. Softw. (2018)
Keyphrases
  • static analysis
  • symbolic execution
  • dynamic analysis
  • source code
  • test generation
  • regular expressions
  • java card
  • test data generation
  • abstract interpretation
  • database
  • open source
  • real world