Showing results 1 to 16 of 16
A survey of race bug detection techniques for multithreaded programmes Hong, Shin; Kim, Moonzoo, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.25, no.3, pp.191 - 217, 2015-05 |
Are concurrency coverage metrics effective for testing: a comprehensive empirical investigation Hong, Shin; Staats, Matt; Ahn, Jaemin; Kim, Moonzoo; Rothermel, Gregg, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.25, no.4, pp.334 - 370, 2015-06 |
Controlled composition and abstraction for bottom-up integration and verification of abstract components Choi, Y; Kim, Moonzoo, INFORMATION AND SOFTWARE TECHNOLOGY, v.54, no.1, pp.119 - 136, 2012-01 |
Directed Model Checking for Fast Abstract Reachability Analysis![]() Lee, NakWon; Kim, Yunho; Kim, Moonzoo; Ryu, Duksan; Baik, Jongmoon, IEEE ACCESS, v.9, pp.158738 - 158750, 2021-11 |
Directed test suite augmentation: an empirical investigation Xu, Zhihong; Kim, Yun-Ho; Kim, Moonzoo; Cohen, Myra B.; Rothermel, Gregg, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.25, no.2, pp.77 - 114, 2015-03 |
Feature-oriented re-engineering of legacy systems into product line assets - a case study Kang, KC; Kim, Moonzoo; Lee, J; Kim, B, SOFTWARE PRODUCT LINES, PROCEEDINGS BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3714, pp.45 - 56, 2005 |
Formal construction and verification of home service robots: A case study Kim, Moonzoo; Kang, KC, AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3707, pp.429 - 443, 2005 |
Java-MaC: A run-time assurance approach for Java programs Kim, Moonzoo; Viswanathan, M; Kannan, S; Lee, I; Sokolsky, O, FORMAL METHODS IN SYSTEM DESIGN, v.24, pp.129 - 155, 2004-03 |
MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry Kim, Yunho; Lee, Dongju; Baek, Junki; Kim, Moonzoo, INFORMATION AND SOFTWARE TECHNOLOGY, v.123, 2020-07 |
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay Kim, Moonzoo; Hong S.; Hong C.; Kim T., ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v.253, no.2, pp.21 - 36, 2009-10 |
Monitoring, checking, and steering of real-time systems Kim, Moonzoo; Lee, lnsup; Sammapun, Usa; Shin, Jangwoo; Sokolsky, Oleg, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v.70, no.4, pp.101 - 117, 2002-12 |
MUSEUM: Debugging real-world multilingual programs using mutation analysis Hong, Shin; Kwak, Taehoon; Lee, Byeongcheol; Jeon, Yiru; Ko, Bongseok; Kim, YunHo; Kim, Moonzoo, Information and Software Technology, v.82, pp.80 - 95, 2017-02 |
Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target Programs Kim, Yunho; Mun, Seokhyun; Yoo, Shin; Kim, Moonzoo, ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, v.28, no.4, pp.1 - 34, 2019-10 |
Re-engineering a credit card authorization system for maintainability and reusability of components - A case study Kang, KC; Lee, JJ; Kim, B; Kim, Moonzoo; Seo, CW; Yu, SL, REUSE OF OFF-THE-SHELF COMPONENTS, PROCEEDINGS BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.4039, pp.156 - 169, 2006 |
Using formal modeling with an automated analysis tool to design and parametrically analyze a multirobot coordination protocol: A case study Esposito, JM; Kim, Moonzoo, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, v.37, pp.285 - 297, 2007-05 |
Verisim: Formal analysis of network simulations Bhargavan, K; Gunter, CA; Kim, Moonzoo; Lee, I; Obradovic, D; Sokolsky, O; Viswanathan, M, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.28, no.2, pp.129 - 145, 2002-02 |
Discover