Jingcheng Yuan

According to our database, Jingcheng Yuan authored at least 2 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Comprehensive evaluation of file systems robustness with SPIN model checking.

Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo

Softw. Test. Verification Reliab., 2022

2020

Comprehensive Robustness Evaluation of File Systems with Model Checking.

Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo

Proceedings of the 20th IEEE International Conference on Software Quality, 2020