Login / Signup
Enhanced Encodings for White-Box Designs.
Alberto Battistello
Laurent Castelnovi
Thomas Chabrier
Published in:
CARDIS (2021)
Keyphrases
</>
white box
black box
source code
data sets
similarity measure
search space
data model
test cases
orders of magnitude
test data
boolean satisfiability
source code metrics
machine learning