Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
[Accepted] [2017] [2016] [2015] [2014]
Selected Publications
    International Journal
    N/A
    Chinese Journal
  • 鲍铁匀 高凤娟 周严 李游 王林章 李宣东。基于目标制导符号执行的静态缓冲区溢出警报自动确认技术。 信息安全学报, download
  • International Conference & Workshop
  • Tao Ye, Lingming Zhang, Linzhang Wang, Xuandong Li. An Empirical Study on Detecting and Fixing Buffer Overflow Bugs.  In  ICST, download
  • Juan Zhai, Jianjun Huang, Shiqing Ma, Xiangyu Zhang, Lin Tan, Jianhua Zhao, Feng Qin. Automatic Model Generation from Documentation for Java API Functions.  In  ICSE 2016, download
  • Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li. Precondition Calculation for Loops Iterating over Data Structures.  In  QRS, download
  • Fengjuan Gao, Linzhang Wang, Xuandong Li. BovInspector: Automatic Inspection and Repair of Buffer Overflow Vulnerabilities.  In  ASE, download
  • Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, and Xuandong Li. Symbolic Execution of Complex Program Driven by Machine Learning Based Constraint Solving.  In  ASE, download