Yunho Kim (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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 3 from 5 records - Yunho Kim has 7 coauthors

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