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.
Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Xuandong Li, Peng Liu, Jin Shi. Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware.
In IEEE Internet of Things Journal 2023,
download
Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao. DStream: A Streaming-Based Highly Parallel IFDS Framework.
In International Conference on Software Engineering (ICSE 2023),
download
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),
download
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
Ruihua Ji，Tingwei Zhu，Xiaoqing Zhu，Chunyang Chen，Minxue Pan，Tian Zhang. Vision-based Widget Mapping for Test Migration across Mobile Platforms：Are We There Yet?.
In 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023),
download
Yiyu Zhang,Tianyi Liu,Zewen Sun,Zhe Chen,Xuandong Li,Zhiqiang Zuo. Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration.
In ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'23),
download
Zelin Zhao, Xizao Wang, Zhaogui Xu, Zhenhao Tang, Yongchao Li, Peng Di. Incremental Call Graph Construction in Industrial Practice,.
In ICSE-SEIP 2023,
download
