Manqing Zhang

According to our database, Manqing Zhang authored at least 14 papers between 2019 and 2026.

Collaborative distances:

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

2026

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers.

Manqing Zhang, Yunwei Dong, Lingru Zhou, Bingxu Xiao, Yepang Liu

CoRR, April, 2026

Runtime Execution Traces Guided Automated Program Repair with Multi-Agent Debate.

Jiaqing Wu, Tong Wu, Manqing Zhang, Yunwei Dong, Bo Shen

CoRR, April, 2026

OODEval: Evaluating Large Language Models on Object-Oriented Design.

Bingxu Xiao, Yunwei Dong, Yiqi Tang, Manqing Zhang, Yifan Zhou, Chunyan Ma, Yepang Liu

CoRR, January, 2026

TargetVAU: Multimodal Anomaly-Aware Reasoning for Target Behavior Understanding in Videos.

Lingru Zhou, Peng Wu, Manqing Zhang, Qingsheng Wang, Guansong Pang, Peng Wang

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Modeling and verifying resources and capabilities of ubiquitous scenarios for Unmanned Aerial Vehicle swarm.

Manqing Zhang, Yunwei Dong, Tao Zhang, Kang Su, Zeshan Li

J. Syst. Softw., 2025

2024

Human-Centric Behavior Description in Videos: New Benchmark and Model.

Lingru Zhou, Yiqi Gao, Manqing Zhang, Peng Wu, Peng Wang, Yanning Zhang

IEEE Trans. Multim., 2024

Application Scenario Modeling and Verification for Unmanned Aerial Vehicle Swarm.

Manqing Zhang, Renliang Wu, Kang Su, Yunwei Dong, Tao Zhang

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

2021

Research Progress of Flaky Tests.

Wei Zheng, Guoliang Liu, Manqing Zhang, Xiang Chen, Wenqiao Zhao

Proceedings of the 28th IEEE International Conference on Software Analysis, 2021

Optimal HAP Deployment and Power Control for Space-Air-Ground IoRT Networks.

Chaoyi Zhu, Yitao Li, Manqing Zhang, Qi Wang, Wuyang Zhou

Proceedings of the IEEE Wireless Communications and Networking Conference, 2021

Automatically Identifying Bug Reports with Tactical Vulnerabilities by Deep Feature Learning.

Wei Zheng, Manqing Zhang, Hui Tang, Yuanfang Cai, Xiang Chen, Xiaoxue Wu, Abubakar Omari Abdallah Semasaba

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

2020

An Optimization Method for the Gateway Station Deployment in LEO Satellite Systems.

Chaoyi Zhu, Yitao Li, Manqing Zhang, Qi Wang, Wuyang Zhou

Proceedings of the 91st IEEE Vehicular Technology Conference, 2020

2019

Temporal Netgrid Model Based Energy-Efficient Broadcast in Satellite Networks.

Manqing Zhang, Donghui Liu, Weilong Ren, Wuyang Zhou

Proceedings of the 11th International Conference on Wireless Communications and Signal Processing, 2019

Event trace reduction for effective bug replay of Android apps via differential GUI state analysis.

Yulei Sui, Yifei Zhang, Wei Zheng, Manqing Zhang, Jingling Xue

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Energy-Efficient Collaborative Data Downloading by Using Inter-Satellite Offloading.

Manqing Zhang, Wuyang Zhou

Proceedings of the 2019 IEEE Global Communications Conference, 2019