conf.researchr.org / Yishuai Li
Yishuai Li

Registered user since Fri 7 Dec 2018

Name:Yishuai Li
Country:United States
Affiliation:University of Pennsylvania
Personal website:https://cis.upenn.edu/~yishuai/
Research interests:Programming Languages, Software Testing, Formal Verification

Contributions

ISSTA 2021 Author of Model-Based Testing of Networked Applications within the Artifact Evaluation-track
Author of Model-Based Testing of Networked Applications within the Technical Papers-track
CPP 2019 Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track