| 2025 | SP | RGFuzz: Rule-Guided Fuzzer for WebAssembly Runtimes. | Junyoung Park, Yunho Kim, Insu Yun |
| 2022 | IROS | Safety Guided Policy Optimization. | Dohyeong Kim, Yunho Kim, Kyungjae Lee, Songhwai Oh |
| 2022 | ICST | CITRUS: Automated Unit Testing Tool for Real-world C++ Programs. | Robert Sebastian Herlim, Yunho Kim, Moonzoo Kim |
| 2022 | ICST | Learning-based Mutant Reduction Using Fine-grained Mutation Operators. | Yunho Kim, Shin Hong |
| 2022 | ICST | POWER: Program Option-Aware Fuzzer for High Bug Detection Ability. | Ahcheong Lee, Irfan Ariq, Yunho Kim, Moonzoo Kim |
| 2021 | SSBSE | Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark. | Robert Sebastian Herlim, Shin Hong, Yunho Kim, Moonzoo Kim |
| 2019 | ICSE | Concolic testing for high test coverage and reduced human effort in automotive industry. | Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim |
| 2018 | ICSE | Precise concolic unit testing of C programs using extended units and symbolic alarm filtering. | Yunho Kim, Yunja Choi, Moonzoo Kim |
| 2018 | ICST | Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage. | Yunho Kim, Shin Hong, Bongseok Ko, Duy Loc Phan, Moonzoo Kim |
| 2018 | ICST | MUSIC: Mutation Analysis Tool with High Configurability and Extensibility. | Duy Loc Phan, Yunho Kim, Moonzoo Kim |
| 2014 | APSEC | SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study. | Yunho Kim, Moonzoo Kim |
| 2014 | ICST | Hybrid Directed Test Suite Augmentation: An Interleaving Framework. | Yunho Kim, Zhihong Xu, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel |
| 2014 | ICST | Ask the Mutants: Mutating Faulty Programs for Fault Localization. | Seokhyeon Moon, Yunho Kim, Moonzoo Kim, Shin Yoo |
| 2012 | ICSE | Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE. | Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jang |
| 2012 | ICST | Industrial Application of Concolic Testing on Embedded Software: Case Studies. | Moonzoo Kim, Yunho Kim, Yoonkyu Jang |
| 2012 | ICST | A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation. | Moonzoo Kim, Yunho Kim, Gregg Rothermel |
| 2011 | ATVA | Automated Analysis of Industrial Embedded Software. | Moonzoo Kim, Yunho Kim |
| 2011 | ICIP | A convex minimization model in image restoration via one-dimensional Sobolev norm profiles. | Yunho Kim, John B. Garnett, Luminita A. Vese |
| 2011 | ISSRE | A Hybrid Directed Test Suite Augmentation Technique. | Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel |
| 2010 | ICTAC | Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform. | Yunho Kim, Moonzoo Kim, Nam Dang |
| 2008 | ICST | Pre-testing Flash Device Driver through Model Checking Techniques. | Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim |