Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Min Zhou
conf.researchr.org general profile
ASE 2019 profile
ICSE 2019 profile
ISSTA 2019 profile
Not registered as user yet
Name:
Min Zhou
Affiliation:
Tsinghua University
Contributions
ASE 2019
Author of TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis within the Demonstrations-track
Author of Ares: Inferring Error Specifications through Static Analysis within the Demonstrations-track
ISSTA 2019
Author of VFQL: Combinational Static Analysis as Query Language within the Tool Demonstration-track
Author of VBSAC: A Value-Based Static Analyzer for C within the Tool Demonstration-track
ICSE 2019
Author of Vetting API Usages in C Programs with IMChecker within the Demonstrations-track
Share
x
Sat 14 Dec 11:50