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
