About SEG
SEG News
SEG Seminar
Internal Site
Hot Link
Contact SEG
[Accepted] [2018] [2017] [2016] [2015] [2014]
Selected Publications
    International Journal
  • Yang Liu, Xuandong Li, Yan Ma. A Game-based Approach PCTL* Stochastic Model Checking with Evidence.  In  Journal of Computer Science and Technology, download
  • He Xiao, Zhang Tian, Hu Changjun, Ma Zhiyi, Weizhong Shao. An MDE Performance Testing Framework Based on Random Model Generation.  In  Journal of Systems and Software, download
  • Chinese Journal
  • 鲍铁匀 高凤娟 周严 李游 王林章 李宣东。基于目标制导符号执行的静态缓冲区溢出警报自动确认技术。 信息安全学报, download
  • 汤恩义,周岩,欧建生,陈鑫。面向条件判定覆盖的线性拟合制导测试生成方法。 软件学报, download
  • 陈鑫,黄超,张一帆,梅一鸣。面向方面设计中干涉问题的分析工具。 软件学报, download
  • 汤恩义等。一种符号执行制导的循环内界分析方法。 电子学报, download
  • 翟娟、汤震浩、李彬、赵建华、李宣东。常用循环的摘要的自动生成方法及其应用。 软件学报, download
  • 何啸,李文峰,张天,麻志毅,邵维忠,胡长军。一种随机化的软件模型生成方法。 软件学报, 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
  • Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li. Hierarchical Model Predictive Control for Multi-Robot Navigation.  In  IJCAI International Joint Conferences on Artificial Intelligence Organization,
  • Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang. Darboux-type Barrier Certificates for Safety Verification of Nonlinear Hybrid Systems.  In  EMSOFT, download