Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics.

Sooyoung Cha Seongjoon Hong Jingyoung Kim Junhee Lee Hakjoo Oh

Published in: CoRR (2019)

Keyphrases

learning algorithm
search heuristics
symbolic execution
domain independent
evolutionary algorithm