Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics

Sooyoung Cha, Seongjoon Hong, Jiseong Bak, Jingyoung Kim, Junhee Lee, Hakjoo Oh

Research output: Contribution to journalArticlepeer-review

5 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics'. Together they form a unique fingerprint.