Manqing Zhang

Manqing Zhang

张满青

Manqing Zhang is a third-year PhD student at Northwestern Polytechnical University under the supervision of Prof. Zhiming Liu. I got my master degree of Software Engineering from Northwestern Polytechnical University in 2022. I am a visiting student at Southern University of Science and Technology (SUSTech), supervised by Prof. Yepang Liu.

My research is focused on using formal verification techniques to ensure system software security. Specifically, my current research focuses on designing techniques to improve the efficiency of interactive theorem proving script synthesis and evolution. In addition, I am also interested in learning and exploring related theories and techniques of model checking.

I am very fond of discussions and exchanges, if you are interested in my research, please email me. I also welcome the whiz in formal verification research to take me off the ground.

🔥 News

  • 2024.09:  🎉🎉 I will be a visiting student at Southern University of Science and Technology. I am honored to work under the guidance of Prof. Yepang.
  • 2022.09:  🎉🎉 I will continue my Ph.D. study at Northwestern Polytechnical University. I am honoured to have the guidance of Prof.Liu.
  • 2022.03:  🎉🎉 I received my master degree at Northwestern Polytechnical University. I am very grateful to my supervisors Prof. Zheng, as well as my dear friends and roommates.

📝 Publications

Google Scholar    DBLP

# means co-first author; * means corresponding author

Conference

  1. [QRS’24] Manqing Zhang, Renliang Wu, Kang Su, Yunwei Dong and Tao Zhang. Application Scenario Modeling and Verification for Unmanned Aerial Vehicle Swarm. The 24th IEEE International Conference on Software Quality, Reliability, and Security. (CCF-C)
  2. [ISSRE’21] Wei Zheng, Manqing Zhang*, Hui Tang, Yuanfang Cai, Xiang Chen, Xiaoxue Wu and Abubakar Omari Abdallah Semasaba. Automatically Identifying Bug Reports with Tactical Vulnerabilities by Deep Feature Learning. 2021 IEEE 32nd International Symposium on Software Reliability Engineering. (Acceptance ratio 27.5%=52/189) (CCF-B)
  3. [SANER’21] Wei Zheng, Guoliang Liu, Manqing Zhang, Xiang Chen and Wenqiao Zhao. Research Progress of Flaky Tests. 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering. (CCF-B)
  4. [ESEC/FSE’19] Yulei Sui, Yifei Zhang, Wei Zheng, Manqing Zhang and Jingling Xue. Event Trace Reduction for Effective Bug Replay of Android Apps via Differential GUI State Analysis. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. (CCF-A)
    [Artifact] Echo: it replay and reduce Android GUI test cases.

Journal

  1. [JSS'25] Manqing Zhang, Yunwei Dong, Tao Zhang, Kang Su and Zeshan Li. Modeling and Verifying Resources and Capabilities of Ubiquitous Scenarios for Unmanned Aerial Vehicle Swarm. Journal of Systems and Software (JSS) 2025. (SCI 2区)
  2. [TMM'24] Lingru Zhou, Yiqi Gao, Manqing Zhang, Peng Wu, Peng Wang and Yanning Zhang. Human-centric Behavior Description in Videos: New Benchmark and Model. IEEE Transactions on Multimedia (TMM) 2024. (SCI 1区)
  3. [计算机研究与发展'22] 郑炜, 唐辉, 陈翔, 张满青, 夏鑫. 安卓移动应用兼容性测试综述. 计算机研究与发展, 2022, 59(6): 1370-1387. (CCF-A)

🎖 Honors and Awards

  • Award1 2022.08, 西北工业大学优秀硕士学位论文奖. [Reference]
  • Award1 2019.04, 安徽省普通高等学校品学兼优毕业生.

📖 Educations

  • 2022.09 - now, School of Software, Northwestern Polytechnical University

    Ph.D., Software Engineering, Supervisors: Prof. Zhiming Liu

  • 2019.09 - 2022.04, School of Software, Northwestern Polytechnical University

    Master of Engineering, Software Engineering, Supervisors: Prof. Wei Zheng

  • 2015.09 - 2019.06, School of Computer and Information, Anhui Polytechnic University

    Bachelor of Engineering, Computer Science & Technology, Supervisors: Prof. Yu Xiu

💬 Invited Talks

  • Academic newbie, has not been invited yet.

📚 Reviewer

  • Not enough level to be a reviewer.

💻 Internships

  • When the research is done well, it may be possible to do an internship for a period of time.