Hotae Kim

According to our database, Hotae Kim authored at least 4 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

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

2008

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

Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim

Proceedings of the Model Checking Software, 2008

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

Moonzoo Kim, Yunho Kim, Hotae Kim

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Pre-testing Flash Device Driver through Model Checking Techniques.

Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim

Proceedings of the First International Conference on Software Testing, 2008