@INPROCEEDINGS{systor25cmiocov, TITLE = "Enhanced File System Testing through Input and Output Coverage", AUTHOR = "Yifei Liu and Geoff Kuenning and Md. Kamal Parvez and Scott Smolka and Erez Zadok", BOOKTITLE = "Proceedings of the 18th ACM International Systems and Storage Conference (SYSTOR '25)", ADDRESS = "Virtual Event", MONTH = "September", YEAR = "2025", PUBLISHER = "ACM", KEY = "systor2025", DOI = "10.1145/3757347.3759138", }