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]
@inproceedings{YuanAG20,
title = {Comprehensive Robustness Evaluation of File Systems with Model Checking},
author = {Jingcheng Yuan and Toshiaki Aoki and Xiaoyun Guo},
year = {2020},
doi = {10.1109/QRS51102.2020.00025},
url = {https://doi.org/10.1109/QRS51102.2020.00025},
researchr = {https://researchr.org/publication/YuanAG20},
cites = {0},
citedby = {0},
pages = {99-110},
booktitle = {20th IEEE International Conference on Software Quality, Reliability and Security, QRS 2020, Macau, China, December 11-14, 2020},
publisher = {IEEE},
isbn = {978-1-7281-8913-0},
}