Jingyoung Kim

According to our database, Jingyoung Kim authored at least 2 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

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

2019

Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics.

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

CoRR, 2019