Browse "CS-Journal Papers(저널논문)" by Author Kim, Moon-Zoo
Showing results 1 to 4 of 4
| A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study Kim, Moon-Zoo; Kim, Yun-Ho; Kim, Ho-Tae, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.37, no.2, pp.146 - 160, 2011 |
| Concolic testing of the multi-sector read operation for flash storage platform software Kim, Moon-Zoo; Kim, Yun-Ho; Choi, Yun-Ja, FORMAL ASPECTS OF COMPUTING, v.24, no.3, pp.355 - 374, 2012-05 |
| Effective pattern-driven concurrency bug detection for operating systems Hong, Shin; Kim, Moon-Zoo, JOURNAL OF SYSTEMS AND SOFTWARE, v.86, no.2, pp.377 - 388, 2013-02 |
| Validating Software Reliability Early through Statistical Model Checking Kim, Young-Joo; Choi, Ok-Joo; Kim, Moon-Zoo; Baik, Jong-Moon; Kim, Tai-Hyo, IEEE SOFTWARE, v.30, no.3, pp.35 - 41, 2013-05 |
Discover
Open Access
- 187 OA Article