Testing file system implementations on layered models.

Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu

Browse the full ICSE paper archive.