Sign in
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools.
Ugur Koc
Austin Mordahl
Shiyi Wei
Jeffrey S. Foster
Adam A. Porter
Published in:
ASE (2021)
Keyphrases
</>
experimental study
database
neural network
databases
search algorithm
data driven
building blocks
parameter tuning