Login / Signup
An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution.
A. Yu. Gerasimov
Leonid V. Kruglov
Mikhail K. Ermakov
Sergey P. Vartanov
Published in:
Program. Comput. Softw. (2018)
Keyphrases
</>
static analysis
symbolic execution
dynamic analysis
test generation
source code
java card
abstract interpretation
regular expressions
specification language
neural network
test data generation
databases
real world
genetic algorithm
case study
evolutionary algorithm