Hotae Kim

Formal Verification of a Flash Memory Device Driver - An Experience Report

Moonzoo Kim, Yunja Choi, Yunho Kim, 2008, SPIN.

Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker

Moonzoo Kim, Yunho Kim, Hotae Kim, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

Pre-testing Flash Device Driver through Model Checking Techniques

Moonzoo Kim, Yunja Choi, Yunho Kim, 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study

Moonzoo Kim, Yunho Kim, Hotae Kim, 2011, IEEE Transactions on Software Engineering.