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