周增辉 zhouzenghui

周增辉 zhouzenghui

Beihang University

About me

I received my B.Eng. degree from the Shenyuan Honors College of Beihang University (北京航空航天大学沈元荣誉学院). I am currently a Ph.D. candidate in the School of Automation Science and Electrical Engineering (SASEE), Beihang University (北京航空航天大学自动化科学与电气工程学院), supervised by Prof. Zheng Zheng.

My research interests lie in Software Engineering and Trustworthy AI, with a particular focus on Large Language Model (LLM) Testing and Quantum Software Engineering (QSE). Given the rapid development and widespread application of these technologies, ensuring their reliability and correctness has become increasingly urgent. To date, I have published several papers, with a cumulative citation count as citation badge.

To foster communication and collaboration, I am working on establishing a research community dedicated to LLM testing and QSE. If you are interested in these topics or have any ideas to share, please do not hesitate to contact me!

Education

  • 2020.09 - Present: Ph.D. Candidate, School of Automation Science and Electrical Engineering (SASEE), Beihang University.

    I was admitted to the Successive Master-Doctoral Program due to academic distinction. My research is supervised by Prof. Zheng Zheng (Chair of the School Council) and conducted in close collaboration with Prof. Tsong Yueh Chen (Swinburne University, IEEE Fellow, ACM SIGSOFT Award Recipient).

  • 2015.09 - 2019.06: B.Eng., Shenyuan Honors College, Beihang University.

    Shenyuan Honors College is an elite institute dedicated to the top students at Beihang University. I waived from the National Graduate Entrance Examination (Research Recommendation).

News

  • 2025.12: 🏆 Honored as the Merit Student of Beijing (City-level Honor).
  • 2025.11: 🛠️ Open-sourced a Response Letter LaTeX Template on GitHub. It is designed to help researchers draft clear, structured, and aesthetic point-to-point responses to reviewers.
  • 2025.01: 🎉 Invited to serve as a Program Committee (PC) Member for the AISQ 2025 workshop (co-located with IEEE ISSRE).

Publications

Manuscripts Under Review

Selected Publications

Research Projects

  • Algorithm Lead Automated Test Generation for Safety-Critical Embedded Software (2020 - 2023)

    As the algorithm lead for this high-reliability software project, I utilized State Charts to model intricate system behaviors. I developed Search-based Algorithms to automatically identify test paths and generate test cases, effectively replacing inefficient manual testing processes with high-coverage automation.

  • Core Researcher Reliability Simulation Platform for Distributed Network Systems (2021 - 2023)

    I developed a comprehensive simulation platform designed to assess the reliability of large-scale, complex networks. By applying Markov Chains to model system states, I enabled the calculation of failure risks and achieved real-time reliability prediction under dynamic network conditions.

  • Core Researcher Automated Testing for Deep Learning Object Detection Systems (2019 - 2022)

    I built an automated testing framework tailored for deep learning models like YOLO. This project addressed the Oracle Problem by leveraging Metamorphic Testing, using custom image transformation operators to evaluate model accuracy and robustness without the need for manual data annotation.

  • Open Source Response Letter LaTeX Template (2024 - Present)

    To assist the research community, I created and maintain a structured LaTeX Template for drafting response letters during the peer-review process. It features a clean design that helps authors organize point-to-point rebuttals to reviewers in a professional and aesthetic manner.

Honors and Awards

Academic Honors & Titles

  • City-level Merit Student of Beijing (北京市三好学生), 2025.
  • University-level Outstanding Graduate Student / Excellent Graduate, Beihang University, 2019, 2022.
  • School-level School Merit Student, SASEE, Beihang University, 2021.

Scholarships & Competitions

  • University-level First Prize, Academic Excellence Scholarship, Beihang University, 2019, 2020.
  • University-level First Prize, Scholarship for Academic Competitions, Beihang University, 2017.
  • Competition Honorable Mention, Mathematical Contest in Modeling (MCM/ICM), 2017.

Leadership & Service Awards

  • University-level Outstanding Student Leader, Beihang University, 2017, 2022, 2023.
  • University-level Outstanding Member of the Communist Youth League, Beihang University, 2022.
  • Service Outstanding Academic Counselor Award, Beihang University, 2022, 2023.

Academic Services

Conference & Workshop Service

  • PC Member AISQ 2025 (The 2nd International Workshop on Advanced Intelligent Software Applications, co-located with IEEE ISSRE 2025).

Journal Reviewer

  • Reviewer Artificial Intelligence Review (Springer)
  • Reviewer Expert Systems with Applications (Elsevier)
  • Reviewer Scientific Reports (Nature Portfolio)

Leadership & Community Service

  • Leadership President of Beihang Toastmasters Club (2022 – 2023).
  • Leadership Director of Academic Support Center, SASEE, Beihang University (2021 – 2024).
  • Mentorship Academic Counselor, School of Automation Science and Electrical Engineering (SASEE), BUAA (2021 – 2024).

Others

Technical Skills

  • Programming Python (PyTorch, TensorFlow), C/C++, MATLAB.
  • Testing & Quality Metamorphic Testing, Automated Test Generation, LLM Evaluation.
  • DevOps & Tools Docker, Linux/Shell, Git, LaTeX.

Languages & Communication

  • Chinese Native.
  • English CET-6, China Scholarship Council Advanced English Certificate, Professional working proficiency.
  • Public Speaking President of Beihang Toastmasters Club (2022 – 2023).