Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Moonzoo Kim
2010 – today
- 2013
[j8]Shin Hong, Moonzoo Kim: Effective pattern-driven concurrency bug detection for operating systems. Journal of Systems and Software 86(2): 377-388 (2013)- [j7]Young Joo Kim, Okjoo Choi, Moonzoo Kim, Jongmoon Baik, Tai-Hyo Kim: Validating Software Reliability Early through Statistical Model Checking. IEEE Software 30(3): 35-41 (2013)
- 2012
- [j6]Moonzoo Kim, Yunho Kim, Yunja Choi: Concolic testing of the multi-sector read operation for flash storage platform software. Formal Asp. Comput. 24(3): 355-374 (2012)
- [j5]Yunja Choi, Moonzoo Kim: Controlled composition and abstraction for bottom-up integration and verification of abstract components. Information & Software Technology 54(1): 119-136 (2012)
- [c23]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: 1143-1152
- [c22]Moonzoo Kim, Yunho Kim, Gregg Rothermel: A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation. ICST 2012: 340-349
- [c21]Moonzoo Kim, Yunho Kim, Yoonkyu Jang: Industrial Application of Concolic Testing on Embedded Software: Case Studies. ICST 2012: 390-399
- [c20]Young Joo Kim, Moonzoo Kim: Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems. ISSRE 2012: 51-60
- [c19]Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel: Understanding user understanding: determining correctness of generated program invariants. ISSTA 2012: 188-198
- [c18]Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, Mary Jean Harrold: Testing concurrent programs to achieve high synchronization coverage. ISSTA 2012: 210-220
- 2011
- [j4]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): 146-160 (2011)
- [c17]
- [c16]Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel: A Hybrid Directed Test Suite Augmentation Technique. ISSRE 2011: 150-159
- [c15]Yunho Kim, Moonzoo Kim: SCORE: a scalable concolic testing tool for reliable embedded software. SIGSOFT FSE 2011: 420-423
- 2010
- [c14]Yunho Kim, Moonzoo Kim, Nam Dang: Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform. ICTAC 2010: 199-213
- [c13]Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, Myra B. Cohen: Directed test suite augmentation: techniques and tradeoffs. SIGSOFT FSE 2010: 257-266
2000 – 2009
- 2009
- [j3]Moonzoo Kim, Shin Hong, Changki Hong, Taeho Kim: Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay. Electr. Notes Theor. Comput. Sci. 253(2): 21-36 (2009)
- [c12]
- 2008
- [c11]Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim: Pre-testing Flash Device Driver through Model Checking Techniques. ICST 2008: 475-484
- [c10]
- [c9]Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim: Formal Verification of a Flash Memory Device Driver - An Experience Report. SPIN 2008: 144-159
- [e1]Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (Eds.): Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings. Lecture Notes in Computer Science 5311, Springer 2008, ISBN 978-3-540-88386-9
- 2007
- [j2]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 Transactions on Systems, Man, and Cybernetics, Part A 37(3): 285-297 (2007)
- [c8]Moonzoo Kim: Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances. ATVA 2007: 489-500
- 2006
- [c7]Kyo Chul Kang, Jaejoon Lee, Byungkil Kim, Moonzoo Kim, Chang-woo Seo, Seung-lyeol Yu: Re-engineering a Credit Card Authorization System for Maintainability and Reusability of Components - A Case Study. ICSR 2006: 156-169
- 2005
- [c6]Moonzoo Kim, Kyo Chul Kang: Formal Construction and Verification of Home Service Robots: A Case Study. ATVA 2005: 429-443
- [c5]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: 2903-2908
- [c4]Moonzoo Kim, Kyo Chul Kang, Hyoungki Lee: Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100. ICRA 2005: 4739-4744
- [c3]Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang: Re-engineering software architecture of home service robots: a case study. ICSE 2005: 505-513
- [c2]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: 45-56
- 2004
- [j1]Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky: Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods in System Design 24(2): 129-155 (2004)
- [c1]Mahesh Viswanathan, Moonzoo Kim: Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. ICTAC 2004: 543-556
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 21:35 CEST by the dblp team