Showing results 24 to 24 of 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