Jingyoung Kim

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 2

Top Topics

Search Heuristics

Symbolic Execution

Top Venues

IEEE Trans. Software Eng.

Publications

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