ISSTA 2019 (series) / Zhe Chen

Registered user since Tue 7 May 2019
Name: Zhe Chen
Country: China
Affiliation: Nanjing University of Aeronautics and Astronautics
Personal website: https://drzchen.github.io/
Research interests: Formal Methods, Software Verification, Model Checking, Runtime Verification
Contributions
ISSTA 2019 | Detecting Memory Errors at Runtime with Source-Level Instrumentation | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ISSTA 2019-profile
View general profile
View general profile