Yishuai Li

Model-based testing of networked applications

Benjamin C. Pierce, Steve Zdancewic, Yishuai Li, 2021, ISSTA.

From C to interaction trees: specifying, verifying, and testing a networked server

Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2018, CPP.

Verifying an HTTP Key-Value Server with Interaction Trees and VST

Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2021, ITP.