Author:
Guo Huayang,Wu Ming,Zhou Lidong,Hu Gang,Yang Junfeng,Zhang Lintao
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exploring Use of Symbolic Execution for Service Analysis;2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S);2024-06-24
2. SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration;Proceedings of the Nineteenth European Conference on Computer Systems;2024-04-22
3. VConMC: Enabling Consistency Verification for Distributed Systems Using Implementation-Level Model Checkers and Consistency Oracles;Electronics;2024-03-21
4. Model‐checking‐driven explorative testing of CRDT designs and implementations;Journal of Software: Evolution and Process;2023-03-15
5. Compiling Distributed System Models with PGo;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2023-01-27