International conference and journal papers

[Google Scholar] [DBLP] [PDFs]

  1. 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 [online published]

  2. 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 (will be presented as Journal-first paper in ASE 2024) [github]

  3. 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

  4. Y. Kim and S. Hong, Learning-based Mutant Reduction using Fine-grained Mutation Operators, Software Testing, Verification and Reliability (STVR), 32 (7), Nov 2022.

  5. 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

  6. 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

  7. 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

  8. 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]

  9. 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]

  10. 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

  11. 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]

  12. 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]

  13. 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]

  14. 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]

  15. 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]

    16.
  16. 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%)

  17. 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

  18. 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%)

  19. 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

  20. 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%)

  21. 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%)

  22. 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

  23. 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%)

  24. 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%)

  25. 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)

[DBpia] [RISS] [PDF files]

  1. 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

  2. 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

  3. 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

  4. 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)

  5. 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

    6.
  6. 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]

  7. 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]

    8.
  8. J. Jeon, S. Hong, Detecting Subtype Inconsistency Errors by Unit Test Cross-checking, Korean Congress of Computing (KCC), July 2020

  9. 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

  10. 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

  11. 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

  12. J. Kim, S. Hong, Evaluation of Test Requirement Extraction Techniques for Javadoc Description, Korean Software Engineering Conference (KCSE), 2020 (short paper)

  13. 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)

  14. J. Jeon and S. Hong, Improving Mutation-Based Fault Localization for Better Locating Omission Faults, Korean Software Congress (KSC), Dec 2019 (Best paper award)

  15. 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)

  16. 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)

  17. 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)

  18. 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

  19. H. Choe and S. Hong, Categories and Patterns of Java Program Unit Test Code Bugs, Journal of KIISE, 46(4), 2019

  20. 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)

  21. 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

  22. 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]

  23. 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

  24. 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