@PHDTHESIS{yifei25thesis,
  AUTHOR =       "Yifei Liu",
  TITLE =        "Advancing File System Model Checking: Coverage, Framework, and Scalability",
  SCHOOL =       "Computer Science Department, Stony Brook University",
  YEAR =         "2025",
  MONTH =        "August",
  NUMBER =       "FSL-25-02",
}