Lei Bu
Nanjing University
H-index: 17
Asia-China
Top articles of Lei Bu
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion | arXiv preprint arXiv:2404.01554 | Qi Guo Xiaohong Li Xiaofei Xie Shangqing Liu Ze Tang | 2024/4/2 |
Constructing exception handling chains for testing Java virtual machine implementations | Journal of Software: Evolution and Process | Bochuan Chen Xiao Guo Yuting Chen Xiaofeng Yu Lei Bu | 2024/4 |
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models | arXiv preprint arXiv:2401.08807 | Lezhi Ma Shangqing Liu Yi Li Xiaofei Xie Lei Bu | 2024/1/16 |
软件运行时验证与监控技术发展现状与展望 | 前瞻科技 | 卜磊, 董威, 单云霄 | 2023/3/20 |
Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings | Holger Hermanns Jun Sun Lei Bu | 2023/12/14 | |
基于指标依赖模型构建与监控的攻击检测方法 | 软件学报 | 王立敏, 卜磊, 马乐之, 于笑丰, 沈宁国 | 2023/1/13 |
A Comparison of Transformer and AR-SI Oracle For Control-CPS Software Fault Localization | Shiyu Zhang Wenxia Liu Qixin Wang Lei Bu Yu Pei | 2023/8/30 | |
SCAGuard: Detection and Classification of Cache Side-Channel Attacks via Attack Behavior Modeling and Similarity Comparison | Limin Wang Lei Bu Fu Song | 2023/7/9 | |
GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing | Zihan Wang Pengbo Nie Xinyuan Miao Yuting Chen Chengcheng Wan | 2023/7/12 | |
Security Checking of Trigger-Action-Programming Smart Home Integrations | Lei Bu Qiuping Zhang Suwan Li Jinglin Dai Guangdong Bai | 2023/7/12 | |
DStream: A streaming-based highly parallel IFDS framework | Xizao Wang Zhiqiang Zuo Lei Bu Jianhua Zhao | 2023/5/14 | |
Scrutinizing privacy policy compliance of virtual personal assistant apps | Fuman Xie Yanjun Zhang Chuan Yan Suwan Li Lei Bu | 2022/10/10 | |
BRICK: Path enumeration based bounded reachability checking of C program (competition contribution) | Lei Bu Zhunyi Xie Lecheng Lyu Yichao Li Xiao Guo | 2022/3/30 | |
Mixed semantics guided layered bounded reachability analysis of compositional linear hybrid automata | Yuming Wu Lei Bu Jiawan Wang Xinyue Ren Wen Xiong | 2022/1/14 | |
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking | EPiC Series in Computing | Lei Bu Goran Frehse Atanu Kundu Rajarshi Ray Yuhui Shi | 2022/12/13 |
Vitas: Guided model-based vui testing of vpa apps | Suwan Li Lei Bu Guangdong Bai Zhixiu Guo Kai Chen | 2022/10/10 | |
Locality Based Cache Side-channel Attack Detection | Proceedings of 10th International Workshop on Security Proofs for Embedded Systems | Limin Wang Lei Bu Fu Song | 2022/10/3 |
Taking care of the discretization problem: A comprehensive study of the discretization problem and a black-box adversarial attack in discrete integer domain | IEEE Transactions on Dependable and Secure Computing | Lei Bu Zhe Zhao Yuchao Duan Fu Song | 2021/6/11 |
Machine learning steered symbolic execution framework for complex software code | Formal Aspects of Computing | Lei Bu Yongjuan Liang Zhunyi Xie Hong Qian Yi-Qi Hu | 2021/6 |
Approximate optimal hybrid control synthesis by classification-based derivative-free optimization | Shaopeng Xing Jiawan Wang Lei Bu Xin Chen Xuandong Li | 2021/5/19 |