Author Info
Name
Affiliation
Papers
ZHENHAO TANG
Department of Computer Science and Technology, Nanjing University Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, Jiangsu, China
6
Collaborators
Citations 
PageRank 
11
1
2.05
Referers 
Referees 
References 
8
185
65
Search Limit
100185
Title
Citations
PageRank
Year
Dual-force: understanding WebView malware via cross-language forced execution.10.362018
A Framework for Array Invariants Synthesis in Induction-Loop Programs00.342017
Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java00.342017
Precondition Calculation for Loops Iterating over Data Structures00.342016
Automatic Invariant Synthesis for Arrays in Simple Programs00.342016
Node-Set Analysis for Linked Recursive Data Structures00.342015