Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics. - Sooyoung Cha; Seongjoon Hong; Jingyoung Kim; Junhee Lee; Hakjoo Oh (CoRR, 2019)

Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics. - Sooyoung Cha; Seongjoon Hong; Jiseong Bak; Jingyoung Kim; Junhee Lee; Hakjoo Oh (IEEE Trans. Software Eng., 2022)