 |
Seongjoon Hong (홍성준)PhD Student (Advisor: Hakjoo Oh) Software Analysis Laboratory, Dept. of Computer Science and Engineering, Korea University |
About Me
I am interested in programming languages and software engineering, particularly in the application of program analysis techniques for software debugging such as program testing and program repair. My recent research is focusing on automated software repair technique for bugs in C and Java programs.Research Interests
- Automated Software Repair
- Static Analysis
- Software Testing
Publications
-
NPEX: Repairing Java Null Pointer Exceptions without Tests
Junhee Lee*, Seongjoon Hong*, and Hakjoo Oh (*contributed equally)
ICSE 2022: International Conference on Software Engineering
[pdf] [tool] -
Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
Sooyoung Cha, Seongjoon Hong, Jiseong Bak, Jingyoung Kim, Junhee Lee, and Hakjoo Oh
TSE: IEEE Transactions on Software Engineering
[pdf] -
SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution
Sunbeom So, Seongjoon Hong, and Hakjoo Oh
Security 2021: 30th USENIX Security Symposium
[pdf] [tool] -
SAVER: Scalable, Precise, and Safe Memory-Error Repair
Seongjoon Hong*, Junhee Lee*, Jeongsoo Lee, and Hakjoo Oh (*contributed equally)
ICSE 2020: International Conference on Software Engineering
[pdf] [slides] [tool] -
MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Junhee Lee*, Seongjoon Hong*, and Hakjoo Oh (*contributed equally)
FSE 2018: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
[pdf] [tool]
-
Automatically Generating Search Heuristics for Concolic Testing
Sooyoung Cha, Seongjoon Hong, Junhee Lee, and Hakjoo Oh
ICSE 2018: International Conference on Software Engineering
[pdf] [tool]
Education
- Mar. 2017 ~ present, MS/PhD Intergrated Course. Dept. of Computer Science and Engineering, Korea University
- Mar. 2013 ~ Feb. 2017, B.S. Dept. of Computer Science and Engineering, Korea University
Trips
- 05/13/23 ~ 05/13/21, ICSE, Melbourne, Australia [report]
- 11/13/22 ~ 11/19/22, FSE, Singapore [report]
- 11/05/18 ~ 11/09/18, FSE, Florida, USA [report]
- 05/26/18 ~ 06/03/18, ICSE, Gothenburg, Sweden [report]
- 05/22/17 ~ 05/30/17, ICSE, Buenos Aires, Argentina [report]