Detecting Exception Handling Bugs in C++ Programs. - Zhang, Hao; Luo, Ji; Hu, Mengze; Yan, Jun; Zhang, Jian; Qiu, Zongyan (ICSE: International Conference on Software Engineering, 2023)