Jingcheng Yuan

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 2

Top Topics

Epistemic Logic

Comprehensive Evaluation

Deterministic Finite Automaton

Top Venues

Softw. Test. Verification Reliab.

Publications

Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo
Comprehensive evaluation of file systems robustness with SPIN model checking. Softw. Test. Verification Reliab. 32 (6) (2022)
Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo
Comprehensive Robustness Evaluation of File Systems with Model Checking. QRS (2020)