Yunho Kim (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

4		Moonzoo Kim, Yunho Kim: Concolic Testing of the Multi-sector Read Operation for Flash Memory File System. SBMF 2009: 251-265
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

Selection of 4 from 5 records - Yunho Kim has 7 coauthors