ANTLION: Practical Test Oracle Generation via Multi-turn LLM Compact Prompting
Gina Jung, Yunho Kim
Korea Conference on Software Engineering (KCSE)
Archive
Scientific Contributions
An indexed record of our laboratory’s peer-reviewed journals, conference proceedings, and technical manuscripts.
2026
3 PublicationsBest Paper
Thompson Sampling based Directed Collaborative Fuzzer
Hyeonmin Mo, Yunho Kim
Korea Conference on Software Engineering (KCSE)
Industrial Application of Deep Learning based Fault Localization with Mutation Features
Yang, H., Lee, A., Cho, K., Kim, Yunho
2026 IEEE International Conference on Software Testing, Verification and Validation (ICST)
2025
4 PublicationsEfficient Mutation-based Fault Localization using Predictive Mutation Analysis
Kim, Yunho, Jung, N., Lee, I., Nam, H., Cho, K.
Journal of KIISE
ZigZagFuzz: Interleaved Fuzzing of Program Options and Files
Lee, Ahcheong, Choi, Youngseok, Hong, Shin, Kim, Yunho, Cho, Kyutae, Kim, Moonzoo
ACM Trans. Softw. Eng. Methodol.
RGFuzz: Rule-Guided Fuzzer for WebAssembly Runtimes
Park, Junyoung, Kim, Yunho, Yun, Insu
2025 IEEE Symposium on Security and Privacy (SP)
RCFuzzer: Recommendation-based Collaborative Fuzzer
Hyeonmin Mo, Jongmun Yang, Yunho Kim
Journal of Systems and Software
2022
4 PublicationsEffective Fuzzing Technique with Command Line Option Mutation/Selection
Lee, A., Kim, Yunho, Kim, Moonzoo
Journal of KIISE
POWER: Program Option-Aware Fuzzer for High Bug Detection Ability
Lee, Ahcheong, Ariq, Irfan, Kim, Yunho, Kim, Moonzoo
2022 IEEE Conference on Software Testing, Verification and Validation (ICST)
CITRUS: Automated Unit Testing Tool for Real-world C++ Programs
Herlim, Robert Sebastian, Kim, Yunho, Kim, Moonzoo
2022 IEEE Conference on Software Testing, Verification and Validation (ICST)
Learning-based mutant reduction using fine-grained mutation operators
Kim, Yunho, Hong, Shin
Software Testing, Verification and Reliability
2021
5 PublicationsBest Paper
PAW: Useful Option Selection Fuzzing Technique to Improve Coverage and Bug Detection Ability
Lee, A., Kim, Yunho, Kim, Moonzoo
Korea Software Congress (KSC)
Dynamic Function Relevance based Fuzzing for High Coverage
Lee, A., Kim, Yunho, Kim, Moonzoo
Journal of KIISE
DEMINER: test generation for high test coverage through mutant exploration
Kim, Yunho, Hong, Shin
Software Testing, Verification and Reliability
Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark
Herlim, Robert Sebastian, Hong, Shin, Kim, Yunho, Kim, Moonzoo
Search-Based Software Engineering
Directed Model Checking for Fast Abstract Reachability Analysis
Lee, Nakwon, Kim, Yunho, Kim, Moonzoo, Ryu, Duksan, Baik, Jongmoon
IEEE Access
2020
1 PublicationMAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry
Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim
Information and Software Technology
2019
5 PublicationsBest Paper
Function Relevance based Fuzzing for High Coverage
Lee, A., Kim, Yunho, Kim, Moonzoo
Korea Software Congress (KSC)
Automatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System
Park, K., Song, H., Lee, J., Jo, G., Kim, Yunho, Kim, Moonzoo
Journal of KIISE: Software and Applications
Target-driven compositional concolic testing with function summary refinement for effective bug detection
Kim, Yunho, Hong, Shin, Kim, Moonzoo
Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Concolic Testing for High Test Coverage and Reduced Human Effort in Automotive Industry
Kim, Yunho, Lee, Dongju, Baek, Junki, Kim, Moonzoo
2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs
Kim, Yunho, Mun, Seokhyeon, Yoo, Shin, Kim, Moonzoo
ACM Trans. Softw. Eng. Methodol.
2018
10 PublicationsBest Paper
Improving Applicability and User Interface of CREST
Kim, H., Kim, Yunho, Kim, Moonzoo
Korea Conference on Software Engineering (KCSE)
Improvement of Concolic Testing Effectiveness by Supporting Bitfield Symbolic Variable
Lee, A., Kim, H., Kim, Yunho, Kim, Moonzoo
Korea Computer Congress (KCC)
AtomicitySanitizer: Effective Runtime Atomicity Violation Detector for Multithreaded C Programs
Hong, S., Kim, Yunho, Kim, Moonzoo, Yoon, S., Jung, H., Park, S.
Korea Software Congress (KSC)
Distinguished Best Paper
Concolic Testing to Improve SW Quality of Defense Weapon System
Park, K., Lee, J., Song, H., Cho, K., Kim, Yunho, Kim, Moonzoo
Korea Software Congress (KSC)
Best Paper
A Comparative Study of C Program Mutation Tools for Effective Mutation Analysis: A Case Study of Proteum and Milu
Kim, Yunho, Kim, H., Yang, W., Kim, Moonzoo
Journal of KIISE: Software and Applications
Automated Capturing and Replaying Unit Inputs of C Programs from System Executions through Static and Dynamic Analysis
Lim, H., Kim, Yunho, Kim, Moonzoo
Journal of KIISE: Software and Applications
Improving Applicability and Usability of a Concolic Testing Tool CROWN
Kim, H., Kim, Yunho, Kim, Moonzoo
Journal of KIISE: Software and Applications
Distinguished Paper
Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage
Kim, Yunho, Hong, Shin, Ko, Bongseok, Phan, Duy Loc, Kim, Moonzoo
2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)
MUSIC: Mutation Analysis Tool with High Configurability and Extensibility
Phan, Duy Loc, Kim, Yunho, Kim, Moonzoo
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Precise concolic unit testing of C programs using extended units and symbolic alarm filtering
Kim, Yunho, Choi, Yunja, Kim, Moonzoo
Proceedings of the 40th International Conference on Software Engineering
2017
4 PublicationsBest Paper
COMUT: A Configurable Mutant Generation Tool for C Programs for Effective and Efficient Mutation Analysis
Phan Duy Loc, Ko, B., Kim, Yunho, Kim, Moonzoo
Korea Software Congress (KSC)
Distinguished Best Paper
Automated Capturing & Replaying Dynamic Unit Inputs of C Programs from System Executions
Lim, H., Kim, Yunho, Kim, Moonzoo
Korea Software Congress (KSC)
Best Paper
Automated Unit-test Generation for Detecting Vulnerabilities of Android Kernel Modules
Kim, Yunho, Kim, Moonzoo
Journal of KIISE: Software and Applications
MUSEUM: Debugging real-world multilingual programs using mutation analysis
Shin Hong, Taehoon Kwak, Byeongcheol Lee, Yiru Jeon, Bongseok Ko, Yunho Kim, Moonzoo Kim
Information and Software Technology
2016
5 PublicationsBest Short Paper
Efficient Dynamic Symbolic Execution Search Strategy using Input Coverage
Kim, Yunho, Kim, Moonzoo
Korea Conference on Software Engineering (KCSE)
Best Paper
Automated Unit-test Generation for Detecting Vulnerabilities of Android Kernel Modules
Kim, Yunho, Kim, Moonzoo
Korea Computer Congress (KCC)
Best Paper
A Comparative Study of C Program Mutation Tools for Effective Mutation Analysis: A Case Study of Proteum and Milu
Kim, Yunho, Kim, H., Yang, W., Kim, Moonzoo
Winter Korea Computer Congress (KCC)
Effective Integer Promotion Bug Detection Technique for Embedded Software
Kim, Yunho, Kim, T., Kim, Moonzoo, Lee, H., Jang, H., Park, M.
Journal of KIISE: Software and Applications
Mutagen4J: Effective Mutant Generation Framework for Java Programs
Jeon, Y., Kim, Yunho, Hong, S., Kim, Moonzoo
Journal of KIISE: Software and Applications
2015
2 PublicationsDirected test suite augmentation: an empirical investigation
Xu, Zhihong, Kim, Yunho, Kim, Moonzoo, Cohen, Myra B., Rothermel, Gregg
Software Testing, Verification and Reliability
Mutation-Based Fault Localization for Real-World Multilingual Programs (T)
Hong, Shin, Lee, Byeongcheol, Kwak, Taehoon, Jeon, Yiru, Ko, Bongsuk, Kim, Yunho, Kim, Moonzoo
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2014
4 PublicationsBest Short Paper
Effective Concolic Testing using a Symbolic Library
Park, Y., Kim, Yunho, Cho, J., Kim, Moonzoo
Korea Conference on Software Engineering (KCSE)
Most Influential Paper
Ask the Mutants: Mutating Faulty Programs for Fault Localization
Moon, Seokhyeon, Kim, Yunho, Kim, Moonzoo, Yoo, Shin
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation
Hybrid Directed Test Suite Augmentation: An Interleaving Framework
Kim, Yunho, Zu, Zhihong, Kim, Moonzoo, Cohen, Myra B., Rothermel, Gregg
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation
SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study
Kim, Yunho, Kim, Moonzoo
2014 21st Asia-Pacific Software Engineering Conference
2013
5 PublicationsDistinguished Best Short Paper
Improved Fault Localization Technique using Weighted Test Cases
Moon, S., Kim, Yunho, Kim, Moonzoo
Korea Conference on Software Engineering (KCSE)
CREST-BV: An Improved Concolic Testing Technique Supporting Bitwise Operations for Embedded Software
Kim, Yunho, Kim, Moonzoo, Jang, Y.
Journal of KIISE: Software and Applications
A Comparative Case Study on Static Program Analysis Tools
Kim, Yunho, Park, Y., Kim, Moonzoo
Journal of KIISE: Computing Practices and Letters
FEAST: An Enhanced Fault Localization Technique using Probability of Test Cases Executing Faults
Moon, S., Kim, Yunho, Kim, Moonzoo
Journal of KIISE: Software and Applications
Automated unit testing of large industrial embedded software using concolic testing
Kim, Yunho, Kim, Youil, Taeksu Kim, Gunwoo Lee, Jang, Yoonkyu, Kim, Moonzoo
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
2012
8 PublicationsA Case Study of the Application of Dynamic Symbolic Execution to Real-World Binary Programs
Hoang, D. B., Kim, Yunho, Kim, Moonzoo
Korea Conference on Software Engineering (KCSE)
Best Paper
CREST-BV: An Improved Concolic Testing Technique with Bitwise Operations Support for Embedded Software
Kim, Yunho, Kim, Moonzoo, Jang, Y.
Korea Computer Congress (KCC)
A Comparative Study of Static Analysis Tools: A Case Study on libexif by Using Coverity and Sparrow
Park, Y., Kim, Yunho, Kim, Moonzoo
Korea Computer Congress (KCC)
Comparison of Search Strategies of KLEE Concolic Testing Tool
Kim, Yunho, Kim, Moonzoo, Kim, Y., Jung, E.
Journal of KIISE: Computing Practices and Letters
Industrial Application of Concolic Testing on Embedded Software: Case Studies
Kim, Moonzoo, Kim, Yunho, Jang, Yoonkyu
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation
Kim, Moonzoo, Kim, Yunho, Rothermel, Gregg
2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
Concolic testing of the multi-sector read operation for flash storage platform software
Kim, Moonzoo, Kim, Yunho, Choi, Yunja
Formal Aspects of Computing
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE
Kim, Yunho, Kim, Moonzoo, Kim, Young Joo, Jang, Yoonkyu
2012 34th International Conference on Software Engineering (ICSE)
2011
6 PublicationsComparison of Test-case Generation Techniques based on Dynamic Symbolic Execution and Genetic Algorithm
Kim, Yunho, Kim, Moonzoo
Korea Conference on Software Engineering (KCSE)
Case Study on Testing with KLEE Concolic Testing Tool
Kim, Yunho, Kim, Y., Kim, Moonzoo
Korea Computer Congress (KCC)
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
Kim, Moonzoo, Kim, Yunho, Kim, Hotae
IEEE Transactions on Software Engineering
SCORE: a scalable concolic testing tool for reliable embedded software
Kim, Yunho, Kim, Moonzoo
Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering
Automated Analysis of Industrial Embedded Software
Kim, Moonzoo, Kim, Yunho
Automated Technology for Verification and Analysis
A Hybrid Directed Test Suite Augmentation Technique
Xu, Zhihong, Kim, Yunho, Kim, Moonzoo, Rothermel, Gregg
2011 IEEE 22nd International Symposium on Software Reliability Engineering
2010
3 PublicationsComparison of Test-case Generation Tools based on Dynamic Symbolic Execution
Kim, Yunho, Kim, Moonzoo
Korea Conference on Software Engineering (KCSE)
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Kim, Yunho, Kim, Moonzoo, Dang, Nam
Theoretical Aspects of Computing -- ICTAC 2010
Directed test suite augmentation: techniques and tradeoffs
Xu, Zhihong, Kim, Yunho, Kim, Moonzoo, Rothermel, Gregg, Cohen, Myra B.
Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering
2009
2 PublicationsHARDI Denoising: Variational Regularization of the Spherical Apparent Diffusion Coefficient sADC
Kim, Yunho, Thompson, Paul M., Toga, Arthur W., Vese, Luminita, Zhan, Liang
Information Processing in Medical Imaging
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
Kim, Moonzoo, Kim, Yunho
Formal Methods: Foundations and Applications
2008
4 PublicationsFormal Verification of a Flash Memory Device Driver through Model Checking
Kim, Moonzoo, Kim, Yunho, Kim, H.
Korea Conference on Software Engineering (KCSE)
Pre-testing Flash Device Driver through Model Checking Techniques
Kim, Moonzoo, Choi, Yunja, Kim, Yunho, Kim, Hotae
2008 1st International Conference on Software Testing, Verification, and Validation
Formal Verification of a Flash Memory Device Driver -- An Experience Report
Kim, Moonzoo, Choi, Yunja, Kim, Yunho, Kim, Hotae
Model Checking Software
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Kim, Moonzoo, Kim, Yunho, Kim, Hotae
2008 23rd IEEE/ACM International Conference on Automated Software Engineering