Follow
Yishuai Li
Yishuai Li
Engineer II, Alibaba Cloud
Verified email at alibaba-inc.com - Homepage
Title
Cited by
Cited by
Year
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
572019
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
222021
Model-Based Testing of Networked Applications
Y Li, BC Pierce, S Zdancewic
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
82021
Testing by Dualization
Y Li
Publicly Accessible Penn Dissertations, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–4