Moonzoo Kim

According to our database, Moonzoo Kim authored at least 56 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

POWER: Program Option-Aware Fuzzer for High Bug Detection Ability.

Ahcheong Lee, Irfan Ariq, Yunho Kim, Moonzoo Kim

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

CITRUS: Automated Unit Testing Tool for Real-world C++ Programs.

Robert Sebastian Herlim, Yunho Kim, Moonzoo Kim

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

2021

Directed Model Checking for Fast Abstract Reachability Analysis.

Nakwon Lee, Yunho Kim, Moonzoo Kim, Duksan Ryu, Jongmoon Baik

IEEE Access, 2021

Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark.

Robert Sebastian Herlim, Shin Hong, Yunho Kim, Moonzoo Kim

Proceedings of the Search-Based Software Engineering - 13th International Symposium, 2021

2020

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

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

Target-driven compositional concolic testing with function summary refinement for effective bug detection.

Yunho Kim, Shin Hong, Moonzoo Kim

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

A Retrospective Look at the Monitoring and Checking (MaC) Framework.

Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan

Proceedings of the Runtime Verification - 19th International Conference, 2019

Concolic testing for high test coverage and reduced human effort in automotive industry.

Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim

Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, 2019

2018

MUSIC: Mutation Analysis Tool with High Configurability and Extensibility.

Duy Loc Phan, Yunho Kim, Moonzoo Kim

Proceedings of the 2018 IEEE International Conference on Software Testing, 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

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Precise concolic unit testing of C programs using extended units and symbolic alarm filtering.

Yunho Kim, Yunja Choi, Moonzoo Kim

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

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

2015

Directed test suite augmentation: an empirical investigation.

Zhihong Xu, Yunho Kim, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel

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

A survey of race bug detection techniques for multithreaded programmes.

Shin Hong, Moonzoo Kim

Softw. Test. Verification Reliab., 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

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

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

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Ask the Mutants: Mutating Faulty Programs for Fault Localization.

Seokhyeon Moon, Yunho Kim, Moonzoo Kim, Shin Yoo

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Hybrid Directed Test Suite Augmentation: An Interleaving Framework.

Yunho Kim, Zhihong Xu, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Detecting Concurrency Errors in Client-Side Java Script Web Applications.

Shin Hong, Yongbae Park, Moonzoo Kim

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study.

Yunho Kim, Moonzoo Kim

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Validating Software Reliability Early through Statistical Model Checking.

Young Joo Kim, Okjoo Choi, Moonzoo Kim, Jongmoon Baik, Tai-Hyo Kim

IEEE Softw., 2013

Effective pattern-driven concurrency bug detection for operating systems.

Shin Hong, Moonzoo Kim

J. Syst. Softw., 2013

Automated unit testing of large industrial embedded software using concolic testing.

Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, Moonzoo Kim

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

The Impact of Concurrent Coverage Metrics on Testing Effectiveness.

Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Controlled composition and abstraction for bottom-up integration and verification of abstract components.

Yunja Choi, Moonzoo Kim

Inf. Softw. Technol., 2012

Concolic testing of the multi-sector read operation for flash storage platform software.

Moonzoo Kim, Yunho Kim, Yunja Choi

Formal Aspects Comput., 2012

Understanding user understanding: determining correctness of generated program invariants.

Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Testing concurrent programs to achieve high synchronization coverage.

Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, Mary Jean Harrold

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems.

Young Joo Kim, Moonzoo Kim

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation.

Moonzoo Kim, Yunho Kim, Gregg Rothermel

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Industrial Application of Concolic Testing on Embedded Software: Case Studies.

Moonzoo Kim, Yunho Kim, Yoonkyu Jang

Proceedings of the Fifth IEEE International Conference on Software Testing, 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

Proceedings of the 34th International Conference on Software Engineering, 2012

Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation.

Young Joo Kim, Moonzoo Kim, Tai-Hyo Kim

Proceedings of the Hardware and Software: Verification and Testing, 2012

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

SCORE: a scalable concolic testing tool for reliable embedded software.

Yunho Kim, Moonzoo Kim

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

A Hybrid Directed Test Suite Augmentation Technique.

Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Automated Analysis of Industrial Embedded Software.

Moonzoo Kim, Yunho Kim

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Directed test suite augmentation: techniques and tradeoffs.

Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, Myra B. Cohen

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform.

Yunho Kim, Moonzoo Kim, Nam Dang

Proceedings of the Theoretical Aspects of Computing, 2010

2009

Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay.

Moonzoo Kim, Shin Hong, Changki Hong, Taeho Kim

Proceedings of Fifth Workshop on Model Based Testing, 2009

Concolic Testing of the Multi-sector Read Operation for Flash Memory File System.

Moonzoo Kim, Yunho Kim

Proceedings of the Formal Methods: Foundations and Applications, 2009

2008

Formal Verification of a Flash Memory Device Driver - An Experience Report.

Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim

Proceedings of the Model Checking Software, 2008

Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker.

Moonzoo Kim, Yunho Kim, Hotae Kim

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Pre-testing Flash Device Driver through Model Checking Techniques.

Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim

Proceedings of the First International Conference on Software Testing, 2008

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

Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances.

Moonzoo Kim

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Re-engineering a Credit Card Authorization System for Maintainability and Reusability of Components - <i>A Case Study</i>.

Kyo Chul Kang, Jaejoon Lee, Byungkil Kim, Moonzoo Kim, Chang-woo Seo, Seung-lyeol Yu

Proceedings of the Reuse of Off-the-Shelf Components, 2006

2005

Feature-Oriented Re-engineering of Legacy Systems into Product Line Assets - a Case Study.

Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim

Proceedings of the Software Product Lines, 9th International Conference, 2005

Re-engineering software architecture of home service robots: a case study.

Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100.

Moonzoo Kim, Kyo Chul Kang, Hyoungki Lee

Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 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

Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

Formal Construction and Verification of Home Service Robots: A Case Study.

Moonzoo Kim, Kyo Chul Kang

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

Java-MaC: A Run-Time Assurance Approach for Java Programs.

Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky

Formal Methods Syst. Des., 2004

Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language.

Mahesh Viswanathan, Moonzoo Kim

Proceedings of the Theoretical Aspects of Computing, 2004