Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. - Mahesh Viswanathan 001; Moonzoo Kim (ICTAC, 2004)

Java-MaC: A Run-Time Assurance Approach for Java Programs. - Moonzoo Kim; Mahesh Viswanathan 001; Sampath Kannan; Insup Lee 001; Oleg Sokolsky (Formal Methods Syst. Des., 2004)

Formal Construction and Verification of Home Service Robots: A Case Study. - Moonzoo Kim; Kyo Chul Kang (ATVA, 2005)

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 (ICRA, 2005)

Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100. - Moonzoo Kim; Kyo Chul Kang; Hyoungki Lee (ICRA, 2005)

Re-engineering software architecture of home service robots: a case study. - Moonzoo Kim; Jaejoon Lee; Kyo Chul Kang; Youngjin Hong; Seokwon Bang (ICSE, 2005)

Feature-Oriented Re-engineering of Legacy Systems into Product Line Assets - a Case Study. - Kyo Chul Kang; Moonzoo Kim; Jaejoon Lee; Byungkil Kim (SPLC, 2005)

Re-engineering a Credit Card Authorization System for Maintainability and Reusability of Components - A Case Study. - Kyo Chul Kang; Jaejoon Lee; Byungkil Kim; Moonzoo Kim; Chang-woo Seo; Seung-lyeol Yu (ICSR, 2006)

Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances. - Moonzoo Kim (ATVA, 2007)

Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study. - Joel M. Esposito; Moonzoo Kim (IEEE Trans. Syst. Man Cybern. Part A, 2007)

Pre-testing Flash Device Driver through Model Checking Techniques. - Moonzoo Kim; Yunja Choi; Yunho Kim; Hotae Kim (ICST, 2008)

Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. - Moonzoo Kim; Yunho Kim; Hotae Kim (ASE, 2008)

Formal Verification of a Flash Memory Device Driver - An Experience Report. - Moonzoo Kim; Yunja Choi; Yunho Kim; Hotae Kim (SPIN, 2008)

Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. - Moonzoo Kim; Yunho Kim (SBMF, 2009)

Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay. - Moonzoo Kim; Shin Hong; Changki Hong; Taeho Kim (MBT@ETAPS, 2009)

Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform. - Yunho Kim; Moonzoo Kim; Nam Dang (ICTAC, 2010)

Directed test suite augmentation: techniques and tradeoffs. - Zhihong Xu; Yunho Kim; Moonzoo Kim; Gregg Rothermel; Myra B. Cohen (SIGSOFT FSE, 2010)

Automated Analysis of Industrial Embedded Software. - Moonzoo Kim; Yunho Kim (ATVA, 2011)

A Hybrid Directed Test Suite Augmentation Technique. - Zhihong Xu; Yunho Kim; Moonzoo Kim; Gregg Rothermel (ISSRE, 2011)

SCORE: a scalable concolic testing tool for reliable embedded software. - Yunho Kim; Moonzoo Kim (SIGSOFT FSE, 2011)

A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study. - Moonzoo Kim; Yunho Kim; Hotae Kim (IEEE Trans. Software Eng., 2011)

Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation. - Young Joo Kim; Moonzoo Kim; Tai-Hyo Kim (Haifa Verification Conference, 2012)

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 (ICSE, 2012)

Industrial Application of Concolic Testing on Embedded Software: Case Studies. - Moonzoo Kim; Yunho Kim; Yoonkyu Jang (ICST, 2012)

A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation. - Moonzoo Kim; Yunho Kim; Gregg Rothermel (ICST, 2012)

Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems. - Young Joo Kim; Moonzoo Kim (ISSRE, 2012)

Testing concurrent programs to achieve high synchronization coverage. - Shin Hong; Jaemin Ahn; Sangmin Park; Moonzoo Kim; Mary Jean Harrold (ISSTA, 2012)

Understanding user understanding: determining correctness of generated program invariants. - Matt Staats; Shin Hong; Moonzoo Kim; Gregg Rothermel (ISSTA, 2012)

Concolic testing of the multi-sector read operation for flash storage platform software. - Moonzoo Kim; Yunho Kim; Yunja Choi (Formal Aspects Comput., 2012)

Controlled composition and abstraction for bottom-up integration and verification of abstract components. - Yunja Choi; Moonzoo Kim (Inf. Softw. Technol., 2012)

The Impact of Concurrent Coverage Metrics on Testing Effectiveness. - Shin Hong; Matt Staats; Jaemin Ahn; Moonzoo Kim; Gregg Rothermel (ICST, 2013)

Automated unit testing of large industrial embedded software using concolic testing. - Yunho Kim; Youil Kim; Taeksu Kim; Gunwoo Lee; Yoonkyu Jang; Moonzoo Kim (ASE, 2013)

Effective pattern-driven concurrency bug detection for operating systems. - Shin Hong; Moonzoo Kim (J. Syst. Softw., 2013)

Validating Software Reliability Early through Statistical Model Checking. - Young Joo Kim; Okjoo Choi; Moonzoo Kim; Jongmoon Baik; Tai-Hyo Kim (IEEE Softw., 2013)

SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study. - Yunho Kim; Moonzoo Kim (APSEC (1), 2014)

Detecting Concurrency Errors in Client-Side Java Script Web Applications. - Shin Hong; Yongbae Park; Moonzoo Kim (ICST, 2014)

Hybrid Directed Test Suite Augmentation: An Interleaving Framework. - Yunho Kim; Zhihong Xu; Moonzoo Kim; Myra B. Cohen; Gregg Rothermel (ICST, 2014)

Ask the Mutants: Mutating Faulty Programs for Fault Localization. - Seokhyeon Moon; Yunho Kim; Moonzoo Kim; Shin Yoo (ICST, 2014)

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 (ICSE (2), 2015)

Mutation-Based Fault Localization for Real-World Multilingual Programs (T). - Shin Hong; Byeongcheol Lee; Taehoon Kwak; Yiru Jeon; Bongsuk Ko; Yunho Kim; Moonzoo Kim (ASE, 2015)

A survey of race bug detection techniques for multithreaded programmes. - Shin Hong; Moonzoo Kim (Softw. Test. Verification Reliab., 2015)

Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation. - Shin Hong; Matt Staats; Jaemin Ahn; Moonzoo Kim; Gregg Rothermel (Softw. Test. Verification Reliab., 2015)

Directed test suite augmentation: an empirical investigation. - Zhihong Xu; Yunho Kim; Moonzoo Kim; Myra B. Cohen; Gregg Rothermel (Softw. Test. Verification Reliab., 2015)

MUSEUM: Debugging real-world multilingual programs using mutation analysis. - Shin Hong; Taehoon Kwak; Byeongcheol Lee; Yiru Jeon; Bongseok Ko; Yunho Kim; Moonzoo Kim (Inf. Softw. Technol., 2017)

Precise concolic unit testing of C programs using extended units and symbolic alarm filtering. - Yunho Kim; Yunja Choi; Moonzoo Kim (ICSE, 2018)

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 (ICST, 2018)

MUSIC: Mutation Analysis Tool with High Configurability and Extensibility. - Duy Loc Phan; Yunho Kim; Moonzoo Kim (ICST Workshops, 2018)

Concolic testing for high test coverage and reduced human effort in automotive industry. - Yunho Kim; Dongju Lee; Junki Baek; Moonzoo Kim (ICSE (SEIP), 2019)

A Retrospective Look at the Monitoring and Checking (MaC) Framework. - Sampath Kannan; Moonzoo Kim; Insup Lee 001; Oleg Sokolsky; Mahesh Viswanathan 001 (RV, 2019)

Target-driven compositional concolic testing with function summary refinement for effective bug detection. - Yunho Kim; Shin Hong; Moonzoo Kim (ESEC/SIGSOFT FSE, 2019)

Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs. - Yunho Kim; Seokhyeon Mun; Shin Yoo; Moonzoo Kim (ACM Trans. Softw. Eng. Methodol., 2019)

MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry. - Yunho Kim; Dongju Lee; Junki Baek; Moonzoo Kim (Inf. Softw. Technol., 2020)

Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark. - Robert Sebastian Herlim; Shin Hong; Yunho Kim; Moonzoo Kim (SSBSE, 2021)

Directed Model Checking for Fast Abstract Reachability Analysis. - Nakwon Lee; Yunho Kim; Moonzoo Kim; Duksan Ryu; Jongmoon Baik (IEEE Access, 2021)

CITRUS: Automated Unit Testing Tool for Real-world C++ Programs. - Robert Sebastian Herlim; Yunho Kim; Moonzoo Kim (ICST, 2022)

POWER: Program Option-Aware Fuzzer for High Bug Detection Ability. - Ahcheong Lee; Irfan Ariq; Yunho Kim; Moonzoo Kim (ICST, 2022)

ZigZagFuzz: Interleaved Fuzzing of Program Options and Files. - Ahcheong Lee; Youngseok Choi; Shin Hong; Yunho Kim; Kyutae Cho; Moonzoo Kim (ACM Trans. Softw. Eng. Methodol., 2025)