Seongjoon Hong

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 7

Top Topics

Symbolic Execution

Automatically Generating

Search Heuristics

Top Venues

USENIX Security Symposium

ESEC/SIGSOFT FSE

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)
Junhee Lee, Seongjoon Hong, Hakjoo Oh
NPEX: Repairing Java Null Pointer Exceptions without Tests. ICSE (2022)
Sunbeom So, Seongjoon Hong, Hakjoo Oh
SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution. USENIX Security Symposium (2021)
Seongjoon Hong, Junhee Lee, Jeongsoo Lee, Hakjoo Oh
SAVER: scalable, precise, and safe memory-error repair. ICSE (2020)
Sooyoung Cha, Seongjoon Hong, Jingyoung Kim, Junhee Lee, Hakjoo Oh
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics. CoRR (2019)
Sooyoung Cha, Seongjoon Hong, Junhee Lee, Hakjoo Oh
Automatically generating search heuristics for concolic testing. ICSE (2018)
Junhee Lee, Seongjoon Hong, Hakjoo Oh
MemFix: static analysis-based repair of memory deallocation errors for C. ESEC/SIGSOFT FSE (2018)