{SmarTest}: Effectively hunting vulnerable transaction sequences in smart contracts through language {Model-Guided} symbolic execution S So, S Hong, H Oh 30th USENIX Security Symposium (USENIX Security 21), 1361-1378, 2021 | 90 | 2021 |
Memfix: static analysis-based repair of memory deallocation errors for c J Lee, S Hong, H Oh Proceedings of the 2018 26th ACM Joint meeting on European software …, 2018 | 58 | 2018 |
Automatically generating search heuristics for concolic testing S Cha, S Hong, J Lee, H Oh Proceedings of the 40th International Conference on Software Engineering …, 2018 | 35 | 2018 |
SAVER: scalable, precise, and safe memory-error repair S Hong, J Lee, J Lee, H Oh Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 30 | 2020 |
Npex: Repairing java null pointer exceptions without tests J Lee, S Hong, H Oh Proceedings of the 44th International Conference on Software Engineering …, 2022 | 15 | 2022 |
Enhancing dynamic symbolic execution by automatically learning search heuristics S Cha, S Hong, J Bak, J Kim, J Lee, H Oh IEEE Transactions on Software Engineering 48 (9), 3640-3663, 2021 | 12 | 2021 |