Not registered as user yet

Name: Zhiqiu Huang

Affiliation: Nanjing University of Aeronautics and Astronautics

Contributions

* ICSE 2018 *Author of Poster T22: Runtime Verification of Memory Safety via Source Transformation within the Posters -track