Dynamic symbolic execution for polymorphism.

Lian Li Yi Lu Jingling Xue

Published in: CC (2017)

Keyphrases

symbolic execution
neural network
test data generation
static analysis
specification language