Pre-testing Flash Device Driver through Model Checking Techniques. - Moonzoo Kim; Yunja Choi; Yunho Kim; Hotae Kim (ICST, 2008)

Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. - Moonzoo Kim; Yunho Kim; Hotae Kim (ASE, 2008)

Formal Verification of a Flash Memory Device Driver - An Experience Report. - Moonzoo Kim; Yunja Choi; Yunho Kim; Hotae Kim (SPIN, 2008)

A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study. - Moonzoo Kim; Yunho Kim; Hotae Kim (IEEE Trans. Software Eng., 2011)