Seongjoon Hong (홍성준)
Publications
2022
- NPEX: Repairing Java Null Pointer Exceptions without TestsJunhee Lee*, Seongjoon Hong*, and Hakjoo Oh (* contributed equally)ICSE 2022: International Conference on Software Engineering[pdf] [artifact]
2021
- Enhancing Dynamic Symbolic Execution by Automatically Learning Search HeuristicsSooyoung Cha, Seongjoon Hong, Jiseong Bak, Jingyoung Kim, Junhee Lee, and Hakjoo OhTSE: IEEE Transactions on Software Engineering (accepted)[pdf] [artifact]
- SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic ExecutionSunbeom So, Seongjoon Hong, and Hakjoo OhSecurity 2021: 30th USENIX Security Symposium[pdf]
2020
- SAVER: Scalable, Precise, and Safe Memory-Error RepairSeongjoon Hong*, Junhee Lee*, Jeongsoo Lee, and Hakjoo Oh (* contributed equally)ICSE 2020: 42nd International Conference on Software Engineering[pdf] [artifact]
2018
- MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for CJunhee Lee*, Seongjoon Hong*, and Hakjoo Oh (* contributed equally)ESEC/FSE 2018: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering[pdf] [artifact]
- Automatically Generating Search Heuristics for Concolic TestingSooyoung Cha, Seongjoon Hong, Junhee Lee, and Hakjoo OhICSE 2018: International Conference on Software Engineering[pdf] [artifact]
Software Analysis Lab. @ Korea University