Browse "CS-Conference Papers(학술회의논문)" by Author Kim, Yunho

Showing results 24 to 24 of 24

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

Kim, Moonzoo; Kim, Yunho; Kim, Hotae, ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.198 - 207, IEEE Computer Society and ACM SIGSFOT, 2008-09-15

Discover

rss_1.0 rss_2.0 atom_1.0