From C to interaction trees: specifying, verifying, and testing a networked server. - Nicolas Koh; Yao Li 004; Yishuai Li; Li-yao Xia; Lennart Beringer; Wolf Honoré; William Mansky; Benjamin C. Pierce; Steve Zdancewic (CPP, 2019)

Model-based testing of networked applications. - Yishuai Li; Benjamin C. Pierce; Steve Zdancewic (ISSTA, 2021)

Verifying an HTTP Key-Value Server with Interaction Trees and VST. - Hengchu Zhang; Wolf Honoré; Nicolas Koh; Yao Li 004; Yishuai Li; Li-yao Xia; Lennart Beringer; William Mansky; Benjamin C. Pierce; Steve Zdancewic (ITP, 2021)

Replication Package for Article: Model-Based Testing of Networked Applications. - Yishuai Li; Benjamin C. Pierce; Steve Zdancewic (Zenodo, 2021)

Testing by Dualization. - Yishuai Li (CoRR, 2022)

Timestamp as a Service, not an Oracle. - Yishuai Li; Yunfeng Zhu; Chao Shi; Guanhua Zhang; Jianzhong Wang; Xiaolu Zhang (Proc. VLDB Endow., 2024)