On Symbolic Execution of Decompiled Programs.

Lukás Korencik Petr Rockai Henrich Lauko Jiri Barnat

Published in: QRS (2020)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
source code
data flow
neural network
databases
open source
test cases
query evaluation