Bingzhou Zheng

According to our database, Bingzhou Zheng authored at least 3 papers between 2014 and 2025.

Collaborative distances:

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

2025

MCeT: Behavioral Model Correctness Evaluation using Large Language Models.

Khaled Ahmed, Jialing Song, Boqi Chen, Ou Wei, Bingzhou Zheng

CoRR, August, 2025

Accurate and Consistent Graph Model Generation from Text with Large Language Models.

Boqi Chen, Ou Wei, Bingzhou Zheng, Gunter Mussbacher

CoRR, August, 2025

2014

Static application security testing for crypto-currency ecosystems.

Shu Wang, Bingzhou Zheng

Proceedings of 24th Annual International Conference on Computer Science and Software Engineering, 2014