Write a Blog >>
ESEC/FSE 2021
Mon 23 - Sat 28 August 2021 Athens, Greece
Peisen Yao

Registered user since Sun 30 Jun 2019

Name:Peisen Yao
Country:China
Affiliation:Hong Kong University of Science and Technology
Research interests:Program Analysis and Verification, Automated Reasoning, Security

Contributions

ESEC/FSE 2021 Skeletal Approximation Enumeration for SMT Solver Testing
Show activities from other conferences

Using general profile