Spremljaj
Yishuai Li
Yishuai Li
Engineer II, Alibaba Cloud
Preverjeni e-poštni naslov na alibaba-inc.com - Domača stran
Naslov
Navedeno
Navedeno
Leto
From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server
N Koh, Y Li, Y Li, L Xia, L Beringer, W Honoré, W Mansky, BC Pierce, ...
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
692019
Verifying an HTTP Key-Value Server with Interaction Trees and VST
H Zhang, W Honoré, N Koh, Y Li, Y Li, LY Xia, L Beringer, W Mansky, ...
12th International Conference on Interactive Theorem Proving (ITP 2021) 193 …, 2021
362021
Model-Based Testing of Networked Applications
Y Li, BC Pierce, S Zdancewic
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
132021
Timestamp as a Service, not an Oracle
Y Li, Y Zhu, C Shi, G Zhang, J Wang, X Zhang
Proceedings of the VLDB Endowment 17 (5), 994--1006, 2024
2024
Testing by Dualization
Y Li
Publicly Accessible Penn Dissertations, 2022
2022
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–5