Publications
2026
-
Narin Han and Shin Hong,
Refining LLM-based Directed Input Generation via Runtime Value Feedback (Extended Abstract),
The 2nd International Workshop on Language Models and Programming Languages (LMPL) (co-located with SPLASH-ISSTA 2026), 9 October 2026
-
K. Kim, N. Han, J. Kim, S. Hong,
재귀적 탐색 전략을 활용한 실행경로 목표 지향 퍼징 (Effective Path-target Directed Greybox Fuzzing with Recursive Search Strategy)
, KIISE Transactions on Computing Practices, 32(8), Aug 2026 (written in Korean)
-
Kieun Kim, Seongmin Lee, Shin Hong,
Refining Fuzzed Crashing Inputs for Better Fault Diagnosis (Extended Abstract),
The 33rd ACM International Conference on the Foundations of Software Engineering (FSE), Poster Track, June 2025
2025
-
A. Lee, Y. Choi., S. Hong, Y. Kim, K. Cho, M. Kim,
ZigZagFuzz: Interleaved Fuzzing of Program Options and Files,
ACM Transactions on Software Engineering and Methodology, Vol. 34, Issue 2, No. 39, 21 Jan 2025
(presented at Journal-first Track in ICSE 2025)
-
J. Kim, Y. Kang, A. Lee, S. Hong, S. Kim,
OSS-Fuzz 테스트 이력을 활용한 체계적인 프로젝트-교차 결함 사례의 수집 (Systematically Collecting Cross-project Bug Cases from OSS-Fuzz Test History),
Korean Conference on Software Engineering (KCSE 2025), Jan 2025
-
K. Kim, J. Kim, S. Hong,
재귀적 탐색을 통한 효과적인 실행경로 목표 지향 퍼징 (Path-target Directed Greybox Fuzzing with Recursive Search Strategy)
, Korean Congress of Computing (KCC 2025), Jul 2025 (Best presentation award)
-
J. Kim, Y. Kang, A. Lee, S. Hong, S. Kim,
OSS-Fuzz 테스트 이력을 활용한 체계적인 프로젝트-교차 결함 사례의 수집 (Systematically Collecting Cross-project Bug Cases from OSS-Fuzz Test History),
Korean Conference on Software Engineering (KCSE 2025), Jan 2025
2024
-
Jeewoong Kim and Shin Hong,
BugOss: A Benchmark of Real-world Regression Bugs for Empirical Investigation of Regression Fuzzing Techniques ,
Journal of Systems and Software (JSS), Vol. 216, Oct 2024 (presented at the Journal-first Track in ASE 2024)
[github]
-
S. Park, J. Nam, S. Hong,
An Empirical Study of MISRA-C Related Source Code Changes in Open-source Software Projects
(MISRA C 코딩 가이드라인 준수를 위한 코드 변경은 어떻게 이루어지는가: 오픈소스 소프트웨어 프로젝트를 대상으로 한 실태 조사), Journal of KIISE (정보과학회논문지), 51(8), Aug 2024
2023
-
Jeewoong Kim and Shin Hong,
Poster: BugOss: A Regression Bug Benchmark for Empirical Study of Regression Fuzzing Techniques,
IEEE International Conference on Software Testing, Verification and Validation (ICST), Poster Track,
Apr 2023
2022
-
Yunho Kim and Shin Hong,
Learning-based Mutant Reduction using Fine-grained Mutation Operators,
Software Testing, Verification and Reliability (STVR), 32 (7), Nov 2022.
(presented at the Journal-first Track in ICST 2022)
- Jeewoong Kim and Shin Hong,
Inferring Fine-grained Traceability Links between Javadoc Comment and JUnit Test Code, the 38th IEEE International Conference on Software Maintenance and Evolution (ICSME), New Ideas and Emerging Results Track (NIER), Oct 2022
- J. Kim, J. Jeon, S. Hong, S. Yoo, Predictive Mutation Analysis via Natural Language Channel in Source Code, ACM Transactions on Software Engineering and Methodology (TOSEM), 31(4), pp. 1-27, Oct 2022
- J. Kim, S. Kim, S. Hong, How Does a Unit-level Test Case for Continuous Fuzzing Evolve: An Empirical Study of Code Changes in OSS-Fuzz Projects, Korean Congress of Computing (KCC), Jun 30-Jul 1, 2022
- J. Yoon, S. Chung, K. Shin, J. Kim, S. Hong, and S. Yoo, Repairing Fragile GUI Test Cases Using Word and Layout Embedding. Proceedings of the 15th IEEE International Conference on Software Testing, Verification and Validation, Industry Track, April 2022
- H. Yoo and S. Hong, OSSFuzzBugs: A Collection of Open-source Real-world Fault Artifacts for Experimenting Unit-level Fuzzing Techniques, Korean Congress of Computing (KCC), Jun 23-25, 2021
- H. Choe and S. Hong, Multi-directional Concolic Testing Search Strategies for Mitigating Path-space Local Search Problem, Korean Software Engineering Conference (KCSE), Feb 1-2, 2021 (short paper)
- H. Choe and S. Hong, Bounded Search Strategies of Concolic Testing for Effective and Efficient Structural Coverage Achievement, Journal of KIISE, 48(2), pp. 201-210, Feb 2021
2021
- H. Yoo, J. Hong, B. Lucas, D. W. Hwang, S. Hong, Improving Configurability of Unit-level Continuous Fuzzing: An Industrial Case Study with SAP HANA, The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), Industry Showcase, Nov 14-20, 2021 [pdf]
- R. S. Herlim, S. Hong, Y. Kim, M. Kim, Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark, the 13th Symposium on Search-Based Software Engineering (SSBSE), Replications and Negative Results (RENE), Oct 11-12, 2021 [pdf]
- J. Cho and S. Hong, Improving Mutation-based Fuzzing by Input Keyword Extraction, Korean Software Engineering Conference (KCSE), Feb 1-2, 2021 (Best short paper award) [pdf]
- Y. Kim and S. Hong, DeMiner: Test Generation for High Test Coverage through Mutant Exploration, Software Testing, Verification and Reliability (STVR), Volume 31, Issue 1-2, January-March, 2021
2020
- J. Jeon and S. Hong, Threats to Validity in Evaluating Mutation-based Fault Localization, International Conference on Software Engineering (ICSE), New Ideas and Emerging Results (NIER), Jul 6-11, 2020 (acceptance ratio: 30%) [pdf]
- D. Kim, S. Kim, S. Hong, Effective Continuous Testing with Automated Unit Test Generation Technique, Korean Software Congress (KSC), Dec 2020 (Best undergraduate student paper award) [pdf]
- J. Jeon, S. Hong, Detecting Subtype Inconsistency Errors by Unit Test Cross-checking, Korean Congress of Computing (KCC), July 2020
- J. Jeon and S. Hong, Improving Mutation-Based Fault Localization for Better Locating Omission Faults Using Coverage Change Information, Journal of KIISE, 47 (9), pp. 863-872, Sep 2020
- H. Leem, H. Choe, H. Kim, S. Hong, CRESTIVE-DX: Design and Implementation of Distributed Concolic Testing Tool for Embedded Software, KIPS Transactions on Software and Data Engineering (KTSDE), 9 (8), pp. 229-234, Aug 2020
- J. Kim, S. Hong, Evaluation of Test Requirement Extraction Techniques for Javadoc Description, Korean Software Engineering Conference (KCSE), 2020 (short paper)
- H. Choe, H. Leem, H. Kim, S. Hong, Design and Implementation of Distributed Concolic Testing Tool for Embedded Software, Korean Software Engineering Conference, 2020 (Best short paper award)
2019
- Y. Kim, S. Hong, M. Kim, Target-Driven Compositional Concolic Testing with Function Summary Refinement for Effective Bug Detection, ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Nov 26-30, 2019 [pdf]
- J. Kim, Y. Jeon, S. Hong, Design and Implementation of Code-related Conversation Service for Online Programming Education, Korean Congress of Computing (KCC), July 2019
- S. Lee, S. Hong, J. Yi, T. Kim, C. Kim, S. Yoo, Classifying False Positive Static Checker Alarms in Continuous Integration using Convolutional Neural Networks, International Conference on Software Testing, Verification and Validation (ICST), Industry Track, Apr 22-27, 2019 [pdf]
2018
- H. Choe and S. Hong, A Classification of Unit Test Bugs in Java Programs, Korean Congress of Computing (KCC), Jun 20-22, 2018 (Best paper award)
- Y. Kim, S. Hong, B. Ko, M. Kim, Invasive Software Testing: Mutating Target Programs to Achieve High Test Coverage, International Conference on Software Testing, Verification and Validation (ICST), Apr 9-11, 2018 (acceptance ratio: 25%, Distinguished paper awarded) [pdf]
- J. Lee and S. Hong, Detecting Memory Bloats of Java Programs by Monitoring Repeated Unit Test Executions: A Case Study with Apache Commons VFS, Korean Software Engineering Conference (KCSE), Jan 19-21, 2018
2017
- Jiyoon Lim and Shin Hong,
Effective Korean-English Parallel Sentence Extraction from Wikipedia by Consecutive Sentence Sequence Matching, Korean Congress of Computing (KCC), Jun 18-21, 2017
- S. Hong, T. Kwak, B. Lee, Y. Jeon, B. Ko, Y. Kim, M. Kim, MUSEUM: Debugging Real-World Multilingual Programs Using Mutation Analysis, Information and Software Technology (IST), 82, pp. 80—95, Feb 2017 [pdf]
2016
- W. Kim, H. Choi, S. Hong, Application of M/G/c/c Queueing Models to Optimize Book Circulation Process in University Library, Journal of the Korea Management Engineering Society, Dec 2016
- Y. Jeon, Y. Kim, S. Hong, M. Kim, Mutagen4J: Effective Mutation Generation Tool for Java Programs, Journal of KIISE (JOK), 43(9), pp. 974—982, Sep 2016
Before 2016
- S. Hong, B. Lee, T. Kwak, Y. Jeon, B. Ko, Y. Kim, M. Kim, Mutation Based Fault Localization for Real-World Multilingual Programs, 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Nov 9-13, 2015 (acceptance ratio: 19%)
- S. Hong, M. Staats, J. Ahn, M. Kim, G. Rothermel, Are Concurrency Coverage Metrics Effective for Testing: A Comprehensive Empirical Investigation, Software Testing, Verification and Reliability (STVR), 25(4), pp.334-370, Jun 2015
- Y. Park, S. Hong, M. Kim, D. Lee, and J. Cho, Systematic Testing of Reactive Software with Non-deterministic Events: A Case Study on LG Electric Oven, 37th International Conference on Software Engineering (ICSE), Software Engineering in Practice (SEIP), May 2015 (acceptance ratio: 22.5%)
- S. Hong, M. Kim, A Survey of Race Bug Detection Techniques for Multithreaded Programmes, Software Testing, Verification and Reliability (STVR), 25(3), pp.191—217, May 2015
- S. Hong, Y. Park, M. Kim, Detecting Concurrency Errors in Client-side JavaScript Web Applications, 7th IEEE International Conference on Software Testing, Verification and Validation (ICST), Mar 31-Apr 4, 2014 (acceptance ratio: 28%)
- S. Hong, M. Staats, J. Ahn, M. Kim, G. Rothermel, Impact of Concurrent Coverage Metrics on Testing Effectiveness, 6th IEEE International Conference on Software Testing, Verification and Validation (ICST), Mar 13-22, 2013 (acceptance ratio: 25%)
- S. Hong, M. Kim, Effective Pattern-driven Concurrency Bug Detection for Operating Systems, Journal of Systems and Software (JSS), 86(2), pp. 377—388, Feb 2013
- M. Staats, S. Hong, M. Kim, and G. Rothermel, Understanding User Understanding: Determining Correctness of Generated Program Invariants, International Symposium on Software Testing and Analysis (ISSTA), Jul 15-20, 2012 (acceptance ratio: 28.7%)
- S. Hong, J. Ahn, S. Park, M. Kim, and M. J. Harrold, Testing Concurrent Programs to Achieve High Synchronization Coverage, International Symposium on Software Testing and Analysis (ISSTA), Jul 15-20, 2012 (acceptance ratio: 28.7%)
- M. Kim, S. Hong. C. Hong, T. Kim, Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay, Model-based Testing (ENTCS volume 253, issue 2), York, UK, Mar 2009