Search For:

Displaying 1-15 out of 15 total
Validating Software Reliability Early through Statistical Model Checking
Found in: IEEE Software
By Youngjoo Kim,Okjoo Choi,Moonzoo Kim,Jongmoon Baik,Tai-Hyo Kim
Issue Date:May 2013
pp. 35-41
Conventional software reliability assessment validates a system's reliability only at the end of development, resulting in costly defect correction. A proposed framework employs statistical model checking (SMC) to validate reliability at an early stage. SM...
 
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Found in: Automated Software Engineering, International Conference on
By Moonzoo Kim, Yunho Kim, Hotae Kim
Issue Date:September 2008
pp. 198-207
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to operate successfully, it is essential that the flash memory be controlled correctly through the device driver software. However, as is typical for embedd...
 
Pre-testing Flash Device Driver through Model Checking Techniques
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
Issue Date:April 2008
pp. 475-484
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provide services, it is essential that flash memory be controlled correctly throug...
 
A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Moonzoo Kim,Yunho Kim,Gregg Rothermel
Issue Date:April 2012
pp. 340-349
Although testing is a standard method for improving the quality of software, conventional testing methods often fail to detect faults. Concolic testing attempts to remedy this by automatically generating test cases to explore execution paths in a program u...
 
Industrial Application of Concolic Testing on Embedded Software: Case Studies
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Moonzoo Kim,Yunho Kim,Yoonkyu Jang
Issue Date:April 2012
pp. 390-399
Current industrial testing practices often build test cases in a manual manner, which is slow and ineffective. To alleviate this problem, concolic testing generates test cases that can achieve high coverage in an automated fashion. However, due to a large ...
 
A Hybrid Directed Test Suite Augmentation Technique
Found in: Software Reliability Engineering, International Symposium on
By Zhihong Xu,Yunho Kim,Moonzoo Kim,Gregg Rothermel
Issue Date:December 2011
pp. 150-159
Test suite augmentation techniques are used in regression testing to identify code elements affected by changes and to generate test cases to cover those elements. In previous work, we studied two approaches to augmentation, one using a concolic test case ...
 
The Impact of Concurrent Coverage Metrics on Testing Effectiveness
Found in: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST)
By Shin Hong,Matt Staats,Jaemin Ahn,Moonzoo Kim,Gregg Rothermel
Issue Date:March 2013
pp. 232-241
When testing multithreaded programs, the number of possible thread interactions makes exploring all interactions infeasible in practice. In response, researchers have developed concurrent coverage metrics for multithreaded programs. These metrics allow the...
 
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
Found in: IEEE Transactions on Software Engineering
By Moonzoo Kim, Yunho Kim, Hotae Kim
Issue Date:March 2011
pp. 146-160
Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant development and support/maintenance cost for the manufacturers. Model checking techniques...
 
Hybrid Directed Test Suite Augmentation: An Interleaving Framework
Found in: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST)
By Yunho Kim,Zhihong Zu,Moonzoo Kim,Myra B. Cohen,Gregg Rothermel
Issue Date:March 2014
pp. 263-272
Test suite augmentation techniques generate test cases to cover code missed by existing regression test suites. Various augmentation techniques have been proposed, utilizing several test case generation algorithms. Research has shown that different algorit...
 
Ask the Mutants: Mutating Faulty Programs for Fault Localization
Found in: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST)
By Seokhyeon Moon,Yunho Kim,Moonzoo Kim,Shin Yoo
Issue Date:March 2014
pp. 153-162
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 a faulty statement by utilizing different characteristics of two groups of mutants-one that muta...
 
Detecting Concurrency Errors in Client-Side Java Script Web Applications
Found in: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST)
By Shin Hong,Yongbae Park,Moonzoo Kim
Issue Date:March 2014
pp. 61-70
As web technologies have evolved, the complexity of dynamic web applications has increased significantly and web applications suffer concurrency errors due to unexpected orders of interactions among web browsers, users, the network, and so forth. In this p...
 
Directed test suite augmentation: techniques and tradeoffs
Found in: Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering (FSE '10)
By Gregg Rothermel, Moonzoo Kim, Myra B. Cohen, Yunho Kim, Zhihong Xu
Issue Date:November 2010
pp. 257-266
Test suite augmentation techniques are used in regression testing to identify code elements affected by changes and to generate test cases to cover those elements. Our preliminary work suggests that several factors influence the cost and effectiveness of t...
     
Testing concurrent programs to achieve high synchronization coverage
Found in: Proceedings of the 2012 International Symposium on Software Testing and Analysis (ISSTA 2012)
By Jaemin Ahn, Mary Jean Harrold, Moonzoo Kim, Sangmin Park, Shin Hong
Issue Date:July 2012
pp. 210-220
The effectiveness of software testing is often assessed by measuring coverage of some aspect of the software, such as its code. There is much research aimed at increasing code coverage of sequential software. However, there has been little research on incr...
     
Understanding user understanding: determining correctness of generated program invariants
Found in: Proceedings of the 2012 International Symposium on Software Testing and Analysis (ISSTA 2012)
By Gregg Rothermel, Matt Staats, Moonzoo Kim, Shin Hong
Issue Date:July 2012
pp. 188-198
Recently, work has begun on automating the generation of test oracles, which are necessary to fully automate the testing process. One approach to such automation involves dynamic invariant generation which extracts invariants from program executions. To us...
     
Re-engineering software architecture of home service robots: a case study
Found in: Proceedings of the 27th international conference on Software engineering (ICSE '05)
By Jaejoon Lee, Kyo Chul Kang, Moonzoo Kim, Seokwon Bang, Youngjin Hong
Issue Date:May 2005
pp. 505-513
With the advances of robotics, computer science, and other related areas, home service robots attract much attention from both academia and industry. Home service robots present interesting technical challenges to the community in that they have a wide ran...
     
 1