Yishuai Li

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 7

Top Topics

Sequence Diagrams

Model Based Testing

Top Venues

Proc. VLDB Endow.

Publications

Yishuai Li, Yunfeng Zhu, Chao Shi, Guanhua Zhang, Jianzhong Wang, Xiaolu Zhang
Timestamp as a Service, not an Oracle. Proc. VLDB Endow. 17 (5) (2024)
Yishuai Li
Testing by Dualization. CoRR (2022)
Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic
Verifying an HTTP Key-Value Server with Interaction Trees and VST. ITP (2021)
Yishuai Li, Benjamin C. Pierce, Steve Zdancewic
Model-based testing of networked applications. ISSTA (2021)
Yishuai Li, Benjamin C. Pierce, Steve Zdancewic
Model-Based Testing of Networked Applications. CoRR (2021)
Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic
From C to interaction trees: specifying, verifying, and testing a networked server. CPP (2019)
Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic
From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server. CoRR (2018)