Sign in

Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study.

Roberto AmadiniGraeme GangePeter SchachteHarald SøndergaardPeter J. Stuckey
Published in: LOPSTR (2020)
Keyphrases
  • learning algorithm
  • simulated annealing
  • optimization algorithm
  • matching algorithm
  • case study
  • search space
  • database
  • databases
  • open source
  • monitoring system
  • domain independent
  • simulated annealing algorithm