Sign in

Enhanced Encodings for White-Box Designs.

Alberto BattistelloLaurent CastelnoviThomas 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