About SEG
SEG News
SEG Seminar
Internal Site
Hot Link
Contact SEG
[Accepted] [2023] [2022] [2021]
Selected Publications
    International Journal
  • Bochuan Chen, XIao Guo, Yuting Chen, Xiaofeng Yu, Lei Bu. Constructing exception handling chains for testing Java virtual machine implementations.  In  Journal of Software: Evolution and Process, 2023:e2562.
  • Chinese Journal
  • 卜磊, 董威, 单云霄。软件运行时验证与监控技术发展现状与展望。 前瞻科技, 2023, 2(1): 62-77
  • 王立敏, 卜磊, 马乐之, 于笑丰, 沈宁国。基于指标依赖模型构建与监控的攻击检测方法。 软件学报, 2023: 32(7),2204-2233
  • International Conference & Workshop
  • Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao. DStream: A Streaming-Based Highly Parallel IFDS Framework.  In  International Conference on Software Engineering (ICSE 2023),
  • Limin Wang, Lei Bu, Fu Song. SCAGuard: Detection and Classification of Cache Side-Channel Attacks via Attack Behavior Modeling and Similarity Comparison.  In  Design Automation Conference 2023 (DAC 2023),
  • Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, Xuandong Li. Security Checking of Trigger-Action-Programming Smart Home Integrations.  In  ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'23),
  • Shiyu Zhang,Wenxia Liu,Qixin Wang,Lei Bu,Yu Pei. A Comparison of transformer and AR-SI Oracle For Control-CPS Software Fault Localization.  In  RTCSA, download