YiFei Liu, Gautam Ahuja, Geoff Kuenning, Scott A. Smolka, Erez Zadok. Input and Output Coverage Needed in File System Testing. In Ali Anwar 0001, Ningfang Mi, Vasily Tarasov, Yiying Zhang 0005, editors, Proceedings of the 15th ACM/USENIX Workshop on Hot Topics in Storage and File Systems, HotStorage 2023, Boston, MA, USA, 9 July 2023. pages 93-101, ACM, 2023. [doi]
Abstract is missing.