C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
DELOOP: Automatic Flow Facts Computation Using Dynamic Symbolic Execution.
Hazem Abaza
Zain Alabedin Haj Hammadeh
Daniel Lüdtke
Published in:
WCET (2022)
Keyphrases
</>
symbolic execution
test data generation
test generation
specification language
neural network
genetic algorithm
evolutionary algorithm
multi objective