| 2022 | ICST | CITRUS: Automated Unit Testing Tool for Real-world C++ Programs. | Robert Sebastian Herlim, Yunho Kim, Moonzoo Kim |
| 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 |
| 2019 | RV | A Retrospective Look at the Monitoring and Checking (MaC) Framework. | Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan |
| 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 |
| 2015 | ICSE | Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven. | Yongbae Park, Shin Hong, Moonzoo Kim, Dongju Lee, Junhee Cho |
| 2014 | APSEC | SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study. | Yunho Kim, Moonzoo Kim |
| 2014 | ICST | Detecting Concurrency Errors in Client-Side Java Script Web Applications. | Shin Hong, Yongbae Park, 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 |
| 2013 | ICST | The Impact of Concurrent Coverage Metrics on Testing Effectiveness. | Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel |
| 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 |
| 2012 | ISSRE | Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems. | Young Joo Kim, Moonzoo Kim |
| 2012 | ISSTA | Testing concurrent programs to achieve high synchronization coverage. | Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, Mary Jean Harrold |
| 2012 | ISSTA | Understanding user understanding: determining correctness of generated program invariants. | Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel |
| 2011 | ATVA | Automated Analysis of Industrial Embedded Software. | Moonzoo Kim, Yunho Kim |
| 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 |
| 2007 | ATVA | Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances. | Moonzoo Kim |
| 2006 | ICSR | Re-engineering a Credit Card Authorization System for Maintainability and Reusability of Components - | Kyo Chul Kang, Jaejoon Lee, Byungkil Kim, Moonzoo Kim, Chang-woo Seo, Seung-lyeol Yu |
| 2005 | ATVA | Formal Construction and Verification of Home Service Robots: A Case Study. | Moonzoo Kim, Kyo Chul Kang |
| 2005 | ICRA | 3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ. | Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang |
| 2005 | ICRA | Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100. | Moonzoo Kim, Kyo Chul Kang, Hyoungki Lee |
| 2005 | ICSE | Re-engineering software architecture of home service robots: a case study. | Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang |
| 2005 | SPLC | Feature-Oriented Re-engineering of Legacy Systems into Product Line Assets - a Case Study. | Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim |
| 2004 | ICTAC | Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. | Mahesh Viswanathan, Moonzoo Kim |