Publications
International conference and journal papers
[Google Scholar] [DBLP] [PDFs]
- 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, accepted
- J. Kim and S. 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
- J. Kim and S. 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
- Y. Kim and S. Hong, Learning-based Mutant Reduction using Fine-grained Mutation Operators, Software Testing, Verification and Reliability (STVR), 32 (7), Nov 2022.
- J. Kim and S. 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. 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, 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]
- 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
- 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]
- 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]
- 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]
- 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]
- 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]
- 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
Domestic conference and journal papers (since 2016)
- 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
- 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
- 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]
- 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, Y. Jeon, S. Hong, Design and Implementation of Code-related Conversation Service for Online Programming Education, Korean Congress of Computing (KCC), July 2019
- 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)
- J. Jeon and S. Hong, Improving Mutation-Based Fault Localization for Better Locating Omission Faults, Korean Software Congress (KSC), Dec 2019 (Best paper award)
- C. Kim, J. Oh, H, Jeong, M. Ha, S. Hong, Design and Implementation of Automated Programming Assignment Assessment Systems for GitHub Repositories, Korean Software Congress (KSC), Dec 2019 (Best paper award)
- H. Choe and S. Hong, Bounded Search Strategies of Concolic Testing for Effective and Efficient Test Coverage Achievement, Korean Congress of Computing (KCC), Jun 26-28, 2019 (Best paper award)
- S. Hong, Y. Kim, M. Kim, S. Yoon, H. Jeong, S. Park, AtomicitySanitizer: Effective Runtime Atomicity Violation Detector for Multithreaded C Programs, Korean Software Congress (KSC), Dec 19-21, 2019 (Best paper presentation award)
- J. Lee, H. Choe, S. Hong, Systematic and Comprehensive Comparisons of the MOIS Security Vulnerability Inspection Criteria and Open-Source Security Bug Detectors for Java Web Applications, Journal of Software Engineering Society, 28(1), 2019
- H. Choe and S. Hong, Categories and Patterns of Java Program Unit Test Code Bugs, Journal of KIISE, 46(4), 2019
- 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)
- 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
- J. Lim and S. Hong, Effective Korean-English Parallel Sentence Extraction from Wikipedia by Consecutive Sentence Sequence Matching, Korean Congress of Computing (KCC), Jun 18-21, 2017
[pdf]
- 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