|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Moonzoo Kim, Yunho Kim, Yunja Choi |
Concolic testing of the multi-sector read operation for flash storage platform software.  |
Formal Asp. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunja Choi, Moonzoo Kim |
Controlled composition and abstraction for bottom-up integration and verification of abstract components. |
Information & Software Technology |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moonzoo Kim, Yunho Kim |
Automated Analysis of Industrial Embedded Software. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel |
A Hybrid Directed Test Suite Augmentation Technique. |
ISSRE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunho Kim, Moonzoo Kim |
SCORE: a scalable concolic testing tool for reliable embedded software. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunho Kim, Moonzoo Kim, Nam Dang |
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, Myra B. Cohen |
Directed test suite augmentation: techniques and tradeoffs. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Moonzoo Kim, Shin Hong, Changki Hong, Taeho Kim |
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moonzoo Kim, Yunho Kim |
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim |
Pre-testing Flash Device Driver through Model Checking Techniques. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Testing, Embedded Software |
| 1 | Moonzoo Kim, Yunho Kim, Hotae Kim |
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ATVA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim |
Formal Verification of a Flash Memory Device Driver - An Experience Report. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Moonzoo Kim |
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Moonzoo Kim, Kyo Chul Kang |
Formal Construction and Verification of Home Service Robots: A Case Study. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Moonzoo Kim, Kyo Chul Kang, Hyoungki Lee |
Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100. |
ICRA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang |
Re-engineering software architecture of home service robots: a case study. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
reactive systems, robot programming, software re-engineering |
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation |
| 1 | Mahesh Viswanathan, Moonzoo Kim |
Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")