Seongjoon Hong

According to our database, Seongjoon Hong authored at least 7 papers between 2018 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

NPEX: Repairing Java Null Pointer Exceptions without Tests.

Junhee Lee, Seongjoon Hong, Hakjoo Oh

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution.

Sunbeom So, Seongjoon Hong, Hakjoo Oh

Proceedings of the 30th USENIX Security Symposium, 2021

2020

SAVER: scalable, precise, and safe memory-error repair.

Seongjoon Hong, Junhee Lee, Jeongsoo Lee, Hakjoo Oh

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics.

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

CoRR, 2019

2018

MemFix: static analysis-based repair of memory deallocation errors for C.

Junhee Lee, Seongjoon Hong, Hakjoo Oh

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Automatically generating search heuristics for concolic testing.

Sooyoung Cha, Seongjoon Hong, Junhee Lee, Hakjoo Oh

Proceedings of the 40th International Conference on Software Engineering, 2018