Publications
International Journals
Y. Kim and S. Hong, Learning-based Mutant Reduction using Fine-grained Mutation Operators, Software Testing, Verification and Reliability (STVR), 32(7), Nov, 2022 (presented in Journal-first track in ICST 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
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
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
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
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, M. Kim, Effective Pattern-driven Concurrency Bug Detection for Operating Systems, Journal of Systems and Software (JSS), 86(2), pp. 377—388, Feb 2013
International Conferences and Workshops
J. Kim and S. Hong, BugOss: A Regression Bug Benchmark for Empirical Study of Regression Fuzzing Techniques, IEEE International Conference on Software Testing, Verification and Validation (ICST), Poster Track, Arp 2023 (poster)
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. 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 (ICST), Experience Track, Apr 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 Track, 2021, Nov 2021
J. Jeon and S. Hong, Improving Mutation-Based Fault Localization with Plausible-code Generating Mutation Operators, IEEE/ACM International Conference on Automated Software Engineering (ASE), Late Breaking Results (LBR), 2021, Nov 2021 (poster)
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), 2021, Oct 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%)
S. Hong, Using SMT Solver and Logic Puzzles for Teaching Computational Logics in Discrete Mathematics Class, Poster, Technical Symposium on Computer Science Education (SIGCSE), Mar 2020
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
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
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)
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%)
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, 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%)
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 Journals (Korean)
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. 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. 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
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
Y. Park, S. Hong, M. Kim, Performance Bug Detection in Web Applications through Cross-browser Profiling, Journal of KIISE: Computing Practices and Letters, Vol. 19(11), Nov 2013
M. Kim and S. Hong, Model-based Kernel Testing (MOKERT) Framework, Journal of KIISE: Software and Applications, Vol. 36(7), pp. 523—530, Jul 2009
Domestic Conferences (Korean)
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)
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)
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)
J. Jeon, S. Hong, Detecting Subtype Inconsistency Errors by Unit Test Cross-checking, Korean Congress of Computing (KCC), July 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)
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
Y. Park, S. Hong, M. Kim, J. Cho, D. Lee, H. Jang, 이벤트 기반 임베디드 소프트웨어를 위한 자동화 테스팅 기법: LG전자 오븐 제어 소프트웨어 사례 연구, Korea Conference on Software Engineering (KCSE), Jan 28-30, 2015 (Best paper award)
S. Hong, M. Kim, M. Staats, Validating Inferred Invariants using Symbolic Execution, Korea Conference on Software Engineering (KCSE), Feb 8—10, 2012
J. Ahn, S. Hong, M. Kim, 동시성 프로그램 테스트를 위한 구조 커버리지 기법 조사, Korea Conference on Software Engineering (KCSE), Feb 8—10, 2012
M. Kim, C. Hong and S. Hong, 검증 반례 재연을 통한 모델 기반 커널 테스팅, Korea Conference on Software Engineering (KCSE), Feb. 9-11, 2009 (Best paper award)
Misc.
A. Bertolino, S. Hong, A. P. Mathur (co-editors), Special Issue on Automation of Software Test and Test Code Quality, Journal of Software Evolution and Process, Apr 2022
S. Hong, J. Kim (co-editors), 소프트웨어 진화와 유지보수 기술 특집 (Special Issue on Software Evolution and Maintenance Techniques), Communications of KIISE, Oct 2021
A. Bertolino, F. Belli, S. Hong, A. P. Mathur (co-editors), AST'20: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test, Jul 2020
M. Kim, Y. Kim, S. Hong, 동적 심볼릭 테스팅(Concolic 테스팅): 효과적인 오류 검출을 위한 실용적인 Whitebox 테스트 입력 생성 기법, Communications of KIISE, April, 2019