Zhe Bu

According to our database, Zhe Bu authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Software Vulnerability Detection Using an Enhanced Generalization Strategy.

Hao Sun, Zhe Bu, Yang Xiao, Chengsheng Zhou, Zhiyu Hao, Hongsong Zhu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

OpenMP Program Verification Based on Bounded Model Checking.

Liang Sun, Bailin Lu, Liangze Yin, Zhe Bu, Wenjing Jin

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023