Yunfan Zhang -

Registered user since Sun 4 Sep 2022

Name:Yunfan Zhang

Country:China

Affiliation:Peking University

Personal website: https://zyf0726.github.io/

Research interests:Program Synthesis, Software Testing

Contributions

2022

ASE

Author of Artifacts for "Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification" within the Artifact Evaluation-track
Author of Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification within the Research Papers-track