ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
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 2019Author of Detecting Memory Errors at Runtime with Source-Level Instrumentation within the Technical Papers-track
Show activities from other conferences

ISSTA 2019-profile
View general profile