Sign in
Yishuai Li
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 6
Top Topics
Tree Structure
Model Based Testing
Client Server
Sequence Diagrams
Top Venues
CoRR
ITP
CPP
ISSTA
</>
Publications
</>
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)