Skip to content

Zhenhao Tang

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

7

Venues

4

Active years

2010–2023

Best venue rank

A*

Where they publish

Papers

7 indexed papers, newest first.

YearVenueTitleAuthors
2023ICSEIncremental Call Graph Construction in Industrial Practice.Zelin Zhao, Xizao Wang, Zhaogui Xu, Zhenhao Tang, Yongchao Li, Peng Di
2017APSECA Framework for Array Invariants Synthesis in Induction-Loop Programs.Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao
2017QRSAre Your Classes Well-Encapsulated? Encapsulation Analysis for Java.Zhenhao Tang, Juan Zhai, Bin Li, Jianhua Zhao
2016QRSAutomatic Invariant Synthesis for Arrays in Simple Programs.Bin Li, Zhenhao Tang, Juan Zhai, Jianhua Zhao
2016QRSPrecondition Calculation for Loops Iterating over Data Structures.Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li
2015QRSNode-Set Analysis for Linked Recursive Data Structures.Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
2010ICNCResearch on a new method of subpixel location using GA.Yinghua Yang, Zhenhao Tang, Xiaobo Chen