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

Moonzoo Kim Yunho Kim Hotae Kim Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. 198-207 2008 ASE http://dx.doi.org/10.1109/ASE.2008.30 conf/kbse/2008 db/conf/kbse/ase2008.html#KimKK08