Hotae Kim

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

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) (2011)
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
Pre-testing Flash Device Driver through Model Checking Techniques. ICST (2008)
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
Formal Verification of a Flash Memory Device Driver - An Experience Report. SPIN (2008)
Moonzoo Kim, Yunho Kim, Hotae Kim
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. ASE (2008)