Login / Signup

Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics.

Sooyoung ChaSeongjoon HongJiseong BakJingyoung KimJunhee LeeHakjoo Oh
Published in: IEEE Trans. Software Eng. (2022)
Keyphrases
  • neural network
  • learning algorithm
  • search heuristics
  • reinforcement learning
  • supervised learning
  • high level
  • training data
  • search algorithm
  • search space
  • evolutionary algorithm
  • scheduling problem
  • general purpose