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:

Research interests: Formal Methods, Software Verification, Model Checking, Runtime Verification


ISSTA 2019 Detecting Memory Errors at Runtime with Source-Level Instrumentation
Show activities from other conferences

ISSTA 2019-profile
View general profile