Comprehensive Robustness Evaluation of File Systems with Model Checking. - Jingcheng Yuan; Toshiaki Aoki; Xiaoyun Guo (QRS, 2020)

Comprehensive evaluation of file systems robustness with SPIN model checking. - Jingcheng Yuan; Toshiaki Aoki; Xiaoyun Guo (Softw. Test. Verification Reliab., 2022)