Not registered as user yet

Name: Wenhui Zhang

Affiliation: Institute of software, Chinese academy of sciences

Contributions

ICSE 2019Author of Energy Distribution Matters in Greybox Fuzzing within the Posters-track
POPL 2017Author of Analyzing divergence in bisimulation semantics within the POPL-track