Moonzoo Kim

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 13

Top Topics

Reachability Analysis

Fault Localization

Top Venues

Softw. Test. Verification Reliab.

Inf. Softw. Technol.

Publications

Robert Sebastian Herlim, Yunho Kim, Moonzoo Kim
CITRUS: Automated Unit Testing Tool for Real-world C++ Programs. ICST (2022)
Ahcheong Lee, Irfan Ariq, Yunho Kim, Moonzoo Kim
POWER: Program Option-Aware Fuzzer for High Bug Detection Ability. ICST (2022)
Nakwon Lee, Yunho Kim, Moonzoo Kim, Duksan Ryu, Jongmoon Baik
Directed Model Checking for Fast Abstract Reachability Analysis. IEEE Access 9 (2021)
Robert Sebastian Herlim, Shin Hong, Yunho Kim, Moonzoo Kim
Empirical Study of Effectiveness of EvoSuite on the SBST 2020 Tool Competition Benchmark. SSBSE (2021)
Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim
MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry. Inf. Softw. Technol. 123 (2020)
Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
A Retrospective Look at the Monitoring and Checking (MaC) Framework. RV (2019)
Yunho Kim, Dongju Lee, Junki Baek, Moonzoo Kim
Concolic testing for high test coverage and reduced human effort in automotive industry. ICSE (SEIP) (2019)
Yunho Kim, Seokhyeon Mun, Shin Yoo, Moonzoo Kim
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs. ACM Trans. Softw. Eng. Methodol. 28 (4) (2019)
Yunho Kim, Shin Hong, Moonzoo Kim
Target-driven compositional concolic testing with function summary refinement for effective bug detection. ESEC/SIGSOFT FSE (2019)
Duy Loc Phan, Yunho Kim, Moonzoo Kim
MUSIC: Mutation Analysis Tool with High Configurability and Extensibility. ICST Workshops (2018)
Yunho Kim, Yunja Choi, Moonzoo Kim
Precise concolic unit testing of C programs using extended units and symbolic alarm filtering. ICSE (2018)
Yunho Kim, Shin Hong, Bongseok Ko, Duy Loc Phan, Moonzoo Kim
Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage. ICST (2018)
Shin Hong, Taehoon Kwak, Byeongcheol Lee, Yiru Jeon, Bongseok Ko, Yunho Kim, Moonzoo Kim
MUSEUM: Debugging real-world multilingual programs using mutation analysis. Inf. Softw. Technol. 82 (2017)
Shin Hong, Moonzoo Kim
A survey of race bug detection techniques for multithreaded programmes. Softw. Test. Verification Reliab. 25 (3) (2015)
Shin Hong, Byeongcheol Lee, Taehoon Kwak, Yiru Jeon, Bongsuk Ko, Yunho Kim, Moonzoo Kim
Mutation-Based Fault Localization for Real-World Multilingual Programs (T). ASE (2015)
Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel
Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation. Softw. Test. Verification Reliab. 25 (4) (2015)
Yongbae Park, Shin Hong, Moonzoo Kim, Dongju Lee, Junhee Cho
Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven. ICSE (2) (2015)
Zhihong Xu, Yunho Kim, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel
Directed test suite augmentation: an empirical investigation. Softw. Test. Verification Reliab. 25 (2) (2015)
Yunho Kim, Moonzoo Kim
SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study. APSEC (1) (2014)
Yunho Kim, Zhihong Xu, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel
Hybrid Directed Test Suite Augmentation: An Interleaving Framework. ICST (2014)
Shin Hong, Yongbae Park, Moonzoo Kim
Detecting Concurrency Errors in Client-Side Java Script Web Applications. ICST (2014)
Seokhyeon Moon, Yunho Kim, Moonzoo Kim, Shin Yoo
Ask the Mutants: Mutating Faulty Programs for Fault Localization. ICST (2014)
Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel
The Impact of Concurrent Coverage Metrics on Testing Effectiveness. ICST (2013)
Young Joo Kim, Okjoo Choi, Moonzoo Kim, Jongmoon Baik, Tai-Hyo Kim
Validating Software Reliability Early through Statistical Model Checking. IEEE Softw. 30 (3) (2013)
Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, Moonzoo Kim
Automated unit testing of large industrial embedded software using concolic testing. ASE (2013)
Shin Hong, Moonzoo Kim
Effective pattern-driven concurrency bug detection for operating systems. J. Syst. Softw. 86 (2) (2013)
Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, Mary Jean Harrold
Testing concurrent programs to achieve high synchronization coverage. ISSTA (2012)
Moonzoo Kim, Yunho Kim, Gregg Rothermel
A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation. ICST (2012)
Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel
Understanding user understanding: determining correctness of generated program invariants. ISSTA (2012)
Moonzoo Kim, Yunho Kim, Yoonkyu Jang
Industrial Application of Concolic Testing on Embedded Software: Case Studies. ICST (2012)
Moonzoo Kim, Yunho Kim, Yunja Choi
Concolic testing of the multi-sector read operation for flash storage platform software. Formal Aspects Comput. 24 (3) (2012)
Yunja Choi, Moonzoo Kim
Controlled composition and abstraction for bottom-up integration and verification of abstract components. Inf. Softw. Technol. 54 (1) (2012)
Young Joo Kim, Moonzoo Kim, Tai-Hyo Kim
Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation. Haifa Verification Conference (2012)
Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jang
Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE. ICSE (2012)
Young Joo Kim, Moonzoo Kim
Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems. ISSRE (2012)
Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel
A Hybrid Directed Test Suite Augmentation Technique. ISSRE (2011)
Yunho Kim, Moonzoo Kim
SCORE: a scalable concolic testing tool for reliable embedded software. SIGSOFT FSE (2011)
Moonzoo Kim, Yunho Kim
Automated Analysis of Industrial Embedded Software. ATVA (2011)
Moonzoo Kim, Yunho Kim, Hotae Kim
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study. IEEE Trans. Software Eng. 37 (2) (2011)
Yunho Kim, Moonzoo Kim, Nam Dang
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform. ICTAC (2010)
Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, Myra B. Cohen
Directed test suite augmentation: techniques and tradeoffs. SIGSOFT FSE (2010)
Moonzoo Kim, Yunho Kim
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. SBMF (2009)
Moonzoo Kim, Shin Hong, Changki Hong, Taeho Kim
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay. Electron. Notes Theor. Comput. Sci. 253 (2) (2009)
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
Pre-testing Flash Device Driver through Model Checking Techniques. ICST (2008)
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
Formal Verification of a Flash Memory Device Driver - An Experience Report. SPIN (2008)
Moonzoo Kim, Yunho Kim, Hotae Kim
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. ASE (2008)
Moonzoo Kim
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances. ATVA (2007)
Joel M. Esposito, Moonzoo Kim
Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study. IEEE Trans. Syst. Man Cybern. Part A 37 (3) (2007)
Kyo Chul Kang, Jaejoon Lee, Byungkil Kim, Moonzoo Kim, Chang-woo Seo, Seung-lyeol Yu
. ICSR (2006)
Moonzoo Kim, Kyo Chul Kang
Formal Construction and Verification of Home Service Robots: A Case Study. ATVA (2005)
Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang
3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ. ICRA (2005)
Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim
Feature-Oriented Re-engineering of Legacy Systems into Product Line Assets - a Case Study. SPLC (2005)
Moonzoo Kim, Kyo Chul Kang, Hyoungki Lee
Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100. ICRA (2005)
Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang
Re-engineering software architecture of home service robots: a case study. ICSE (2005)
Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky
Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods Syst. Des. 24 (2) (2004)
Mahesh Viswanathan, Moonzoo Kim
Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. ICTAC (2004)