Search Results - "Moonzoo Kim"

Directed Model Checking for Fast Abstract Reachability Analysis by Lee, Nakwon, Kim, Yunho, Kim, Moonzoo, Ryu, Duksan, Baik, Jongmoon

“…We propose a novel technique (TOUR) to improve both bug detection ability and verification speed of ARMC by detecting a target path quickly. The key idea of…”
Get full text

A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study by Kim, Moonzoo, Kim, Yunho, Kim, Hotae

“…Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs…”
Get full text

SAT-Based Bounded Software Model Checking for Embedded Software: A Case Study by Kim, Yunho, Kim, Moonzoo

“…Conventional manual testing often misses corner case bugs in complex embedded software, which can incur large economic loss. To overcome the weakness of manual…”
Get full text

Ask the Mutants: Mutating Faulty Programs for Fault Localization by Seokhyeon Moon, Yunho Kim, Moonzoo Kim, Shin Yoo

“…We present MUSE (MUtation-baSEd fault localization technique), a new fault localization technique based on mutation analysis. A key idea of MUSE is to identify…”
Get full text

Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study by Esposito, J.M., Moonzoo Kim

“…Many robot systems employ logic-based or reactive controllers, making them hybrid systems (i.e., mixed discrete continuous). However, designing such control…”
Get full text

Concolic testing of the multi-sector read operation for flash storage platform software by Kim, Moonzoo, Kim, Yunho, Choi, Yunja

“…In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to…”
Get full text

Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE by Yunho Kim, Moonzoo Kim, Young Joo Kim, Yoonkyu Jang

“…As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing…”
Get full text

Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems by Youngjoo Kim, Moonzoo Kim

“…Reliability of safety critical systems such as nuclear power plants and automobiles has become a significant issue to our society. As more computing systems…”
Get full text

A Hybrid Directed Test Suite Augmentation Technique by Zhihong Xu, Yunho Kim, Moonzoo Kim, Rothermel, G.

“…Test suite augmentation techniques are used in regression testing to identify code elements affected by changes and to generate test cases to cover those…”
Get full text

Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven by Yongbae Park, Shin Hong, Moonzoo Kim, Dongju Lee, Junhee Cho

“…Most home appliance devices such as electric ovens are reactive systems which repeat receiving a user input/event through an event handler, updating their…”
Get full text

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

“…Programmers maintain and evolve their software in a variety of programming languages to take advantage of various control/data abstractions and legacy…”
Get full text

A survey of race bug detection techniques for multithreaded programmes by Hong, Shin, Kim, Moonzoo

“…SummaryAs multithreaded programmes become popular to fully utilize multicore CPUs, many race bug detection techniques have been developed to find concurrency…”
Get full text

Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker by Moonzoo Kim, Yunho Kim, Hotae Kim

“…Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to operate successfully, it is essential that the flash…”
Get full text

Detecting Concurrency Errors in Client-Side Java Script Web Applications by Shin Hong, Yongbae Park, Moonzoo Kim

“…As web technologies have evolved, the complexity of dynamic web applications has increased significantly and web applications suffer concurrency errors due to…”
Get full text

Effective pattern-driven concurrency bug detection for operating systems by Hong, Shin, Kim, Moonzoo

“…► We identified characteristics of concurrency bugs in Linux kernel by reviewing ChangeLog bug reports. ► We developed a pattern-driven COncurrency Bug…”
Get full text

MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry by Kim, Yunho, Lee, Dongju, Baek, Junki, Kim, Moonzoo

“…The importance of automotive software has been rapidly increasing because software controls many components of motor vehicles such as smart-key system, tire…”
Get full text

A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation by Moonzoo Kim, Yunho Kim, Rothermel, G.

“…Although testing is a standard method for improving the quality of software, conventional testing methods often fail to detect faults. Concolic testing…”
Get full text

MUSEUM: Debugging real-world multilingual programs using mutation analysis by Hong, Shin, Kwak, Taehoon, Lee, Byeongcheol, Jeon, Yiru, Ko, Bongseok, Kim, Yunho, Kim, Moonzoo

“…Context: The programming language ecosystem has diversified over the last few decades. Non-trivial programs are likely to be written in more than a single…”
Get full text

Precise concolic unit testing of C programs using extended units and symbolic alarm filtering by Kim, Yunho, Choi, Yunja, Kim, Moonzoo

“…Automated unit testing reduces manual effort to write unit test drivers/stubs and generate unit test inputs. However, automatically generated unit test…”
Get full text

Automated unit testing of large industrial embedded software using concolic testing by Yunho Kim, Youil Kim, Taeksu Kim, Gunwoo Lee, Yoonkyu Jang, Moonzoo Kim

“…Current testing practice in industry is often ineffective and slow to detect bugs, since most projects utilize manually generated test cases. Concolic testing…”
Get full text