Pre-testing Flash Device Driver through Model Checking Techniques.

Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim

Browse the full ICST paper archive.