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