About SEG
SEG News
SEG Seminar
Internal Site
Hot Link
Contact SEG
[Accepted] [2019] [2018] [2017] [2016] [2015]
Selected Publications
    International Journal
  • Dingbao Xie, Wen Xiong, Lei Bu, Xuandong Li. Deriving Unbounded Reachability Proof of Linear Hybrid Automata During Bounded Checking Procedure.  In  IEEE Transactions on Computers, download
  • Enyi Tang, Xiangyu Zhang, Norbert Th. Muller, Zhenyu Chen, and Xuandong Li. Software Numerical Instability Detection andDiagnosis by Combining Stochastic andInfinite-precision Testing.  In  IEEE Transactions on Software Engineering, download
  • Chao Huang, Xin Chen,Wang Lin, Zhengfeng Yang, and Xuandong Li. Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.  In  ACM Transactions on Embedded Computing Systems, download
  • Chinese Journal
  • 翟娟, 汤震浩, 李彬, 赵建华, 李宣东。遍历常用数据结构的循环摘要的自动生成方法及其应用。 软件学报, download
  • 李筱, 周严, 李梦宸, 陈园军, Xu Guoqing, 王林章,李宣东。C/C++程序静态内存泄漏警报自动确认方法。 软件学报, download
  • 解定宝,周岳翔,卜磊,王林章,李宣东. 基于组合IIS路径抽取的组合线性混成系统有界可达性分析优化.  In  中国科学(信息科学), download
  • 李彬,汤震浩,翟娟,赵建华。通过抽象程序证明复杂具体程序。 软件学报, download
  • 李彬,翟娟,汤震浩,汤恩义,赵建华。自动合成数组不变式。 软件学报, download
  • 汤震浩,李彬,翟娟,赵建华。自动分析递归数据结构的归纳性质。 软件学报, download
  • 黄浩华,崔展齐,潘敏学,王林章,李宣东。静动态结合的恶意Android应用自动检测技术。 信息安全学报, download
  • International Conference & Workshop
  • Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, Xuandong Li. Sketch-Guided GUI Test Generation for Mobile Applications.  In  Automated Software Engineering, download
  • Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li. Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control.  In  IJCAIInternational Joint Conferences on Artificial Intelligence Organization, download
  • Xiao Li, NaNa Chang, Yan Wang, Haohua Huang, Yu Pei, Linzhang Wang, Xuandong Li. ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications.  In  ICST2017, download
  • Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li. Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software.  In  ISSTA,
  • Lei Bu, Rajarshi Ray, Stefan Schupp. ARCH-COMP17 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics.  In  International Workshop on Applied Verification of Continuous and Hybrid Systems 2017, download
  • Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe. ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics.  In  International Workshop on Applied Verification of Continuous and Hybrid Systems 2017, download
  • Zhenhao Tang, Juan Zhai, Bin Li, Jianhua Zhao. Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java.  In  International Conference on Software Quality, Reliability and Security 2017, download
  • Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao. A Framework for Array Invariants Synthesis in Induction-loop Programs.  In  Asia-Pacific Software Engineering Conference 2017, download