Associate professor
Supervisor of Doctorate Candidates
Supervisor of Master's Candidates
[c17]Hongliang Liang, Shirun Liu, Yini Zhang, Meilin Wang: Improving the precision of static analysis: Symbolic execution based on GCC abstract syntax tree. SNPD 2017: 395-400
Hits:
Translation or Not:no
Opening Time:..
The Last Update Time: ..
