Comprehensive Robustness Evaluation of File Systems with Model Checking

Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo. Comprehensive Robustness Evaluation of File Systems with Model Checking. In 20th IEEE International Conference on Software Quality, Reliability and Security, QRS 2020, Macau, China, December 11-14, 2020. pages 99-110, IEEE, 2020. [doi]

Abstract

Abstract is missing.