SYMTUNER: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters.

Sooyoung Cha Myungho Lee Seokhyun Lee Hakjoo Oh

Published in: ICSE (2022)

Keyphrases

symbolic execution
parameter settings
tuning parameters
static analysis
test data generation
neural network
decision trees
search space
source code