1
Publications
17
Citations
1
H-Index
2023
Active since
Affiliations
Yu Gao is an author at University of Chinese Academy of Sciences specializing in systems engineering, computer science, and system software.
Top concepts
EngineeringVerificationFormal MethodsCloud ComputingFault ToleranceSystem SoftwareComputer ScienceSoftware TestingSoftware AnalysisDistributed Systems
Publications per year
2023–2023
1
1
Model Checking Guided Testing for Distributed Systems
Dong Wang, Wensheng Dou, Yu Gao et al. · 2023 · 17 citations · Full text
Rows per page
1–1 of 1