Detecting Exception Handling Bugs in C++ Programs. - Hao Zhang 008; Ji Luo; Mengze Hu; Jun Yan 009; Jian Zhang 001; Zongyan Qiu (ICSE, 2023)

Detecting Element Accessing Bugs in C++ Sequence Containers. - Zhilin Li; Xutong Ma; Mengze Hu; Jun Yan (ASE, 2024)