Registered user since Thu 7 May 2020

Name:Ze Zhang
Country:United States
Affiliation:University of Michigan

Contributions

LCTES 2020 Author of Path Sensitive Signatures for Control Flow Error Detection within the LCTES 2020-track