Login / Signup
Making symbolic execution promising by learning aggressive state-pruning strategy.
Sooyoung Cha
Hakjoo Oh
Published in:
ESEC/SIGSOFT FSE (2020)
Keyphrases
</>
learning algorithm
data sets
web services
machine learning
feature selection
open source
pruning strategy