Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
[Accepted] [2024] [2023] [2022] [2021] [2020]
Selected Publications
    International Journal
  • Lei Bu, Zhe Zhao, Yuchao Duan, Fu Song. Taking Care of the Discretization Problem: A Comprehensive Study of the Discretization Problem and a Black-Box Adversarial Attack in Discrete Integer Domain.  In  IEEE Trans. Dependable Secur. Comput., 19(5): 3200-3217 (2022)
  • Wenhua Yang, Chong Zhang, Minxue Pan, Chang Xu, Yu Zhou, and Zhiqiu Huang. Do Developers Really Know How to Use Git Commands? A Large-Scale Study Using Stack Overflow.  In  ACM Transactions on Software Engineering and Methodology (TOSEM), download
  • Chinese Journal
    N/A
    International Conference & Workshop
  • Fuman Xie, Yanjun Zhang, Chuan Yan, Suwan Li, Lei Bu, Kai Chen, Zi Huang, Guangdong Bai. Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps.  In  ASE 2022, 90:1-90:13
  • Suwan Li, Lei Bu, Guangdong Bai, Zhixiu Guo, Kai Chen, Hanlin Wei. VITAS : Guided Model-based VUI Testing of VPA Apps.  In  ASE 2022, 115:1-115:12
  • Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li. BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution).  In  TACAS (2) 2022, 408-412
  • Yuming Wu, Lei Bu, Jiawan Wang, Xinyue Ren, Wen Xiong, Xuandong Li. Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata.  In  VMCAI 2022, 473-495
  • Suwan Li,Lei Bu,Guangdong Bai,Zhixiu Guo,Kai Chen,Hanlin Wei. VITAS : Guided Model-based VUI Testing of VPA Apps.  In  ASE 2022, download