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 | Author of Detecting Memory Errors at Runtime with Source-Level Instrumentation within the Technical Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile