Enhanced File System Testing through Input and Output Coverage.

Yifei Liu, Geoff Kuenning, Md. Kamal Parvez, Scott A. Smolka, Erez Zadok

Browse the full SYSTOR paper archive.