吴兴明
组内经历
2018 年毕业
博士
论文
2016
The Floating-Point Extension of Symbolic Execution Engine for Bug Detection
APSEC 2016CCF CXingming WuZhenbo XuDong YanTianyong WuJun YanJian Zhang
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。
2018 年毕业
The Floating-Point Extension of Symbolic Execution Engine for Bug Detection
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。