- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 3 |      | Moonzoo Kim, Yunho Kim, Hotae Kim: Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. ASE 2008: 198-207 |
| 2 | | Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim: Pre-testing Flash Device Driver through Model Checking Techniques. ICST 2008: 475-484 |
| 1 | | Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim: Formal Verification of a Flash Memory Device Driver - An Experience Report. SPIN 2008: 144-159 |
| 1 | Yunja Choi | [1] [2] |
| 2 | Moonzoo Kim | [1] [2] [3] |
| 3 | Yunho Kim | [1] [2] [3] |