Dr. Li Huang

Dr. Li Huang

School of Computer Science & Engineering
Phone number
+49 15757987157
Office
Research I, 116a, Constructor University, Bremen
Website
https://huangl223.github.io/li/
Research Interests

My main research interests include development of formal verification techniques and tools for checking software correctness and enhance software quality.

Specific research topics:

  • applying LLM for automated program repair, 
  • intersection between AI technologies and software verification approaches (testing and proofs), 
  • establish pipelines of vibe programming in the context of formal verification, 
  • applying statistical model checking for checking correctness of fault-tolerant safety-critical systems.
University Education
November 2020 – June 2025PhD, Software Engineering
Constructor Institute of Technology & Constructor University
September 2017 – July 2019Master, Software Engineering
School of Data and Computer Science, Sun Yat-sen University
September 2013 – July 2017Bachelor, Software Engineering
School of Data and Computer Science, Sun Yat-sen University
Professional Experience
January 2025 – PresentPostdoc researcher, Chair of Software Engineering, Constructor Institute of Technology
Research on combining formal verification techniques to improve the quality of AI-generated code.
July 2020 – December 2020Lecturer, School of Electronic and Information Engineering, Beibu Gulf University
Teaching courses in software engineering and computer science, covering a range of topics such as programming languages and software architecture.
March 2020 – July 2020Research Engineer, China CEPREI Research Institute
Verification of safety and security properties for Vehicular Ad-hoc Networks (VANET). Testing of security properties for embedded integrated circuits.
July 2019 – February 2020Research Assistant, Sun Yat-sen University
Formal verification and validation of cyber physical systems (CPS). Formal analysis of functional and timing constraints of CPS using stochastic Bip1.
Selected Publications
  1. Li Huang, Bertrand Meyer, Manuel Oriol. “Seeding Contradiction: a Fast Method for Generating Full-coverage Test Suites”. Special Issue: Testing Software and Systems: theory and applications, Springer Nature Computer Science (SNCS), 6(1), 41, 2024. https://doi.org/10.1007/s42979-024-03482-0
  2. Li Huang, Bertrand Meyer. “A Failed Proof Can Yield a Useful Test.” Software Testing, Verification and Reliability (STVR), 33(7), 2023. https://doi.org/10.1002/stvr.1859
  3. Li Huang and Eun-Young Kang. “Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System.” In the European Joint Conferences on Theory and Practice of Software (ETAPS-FASE), pp. 210-227, Springer, 2019. https://doi.org/10.1007/978-3-030-16722-6_12
  4. Li Huang, Bertrand Meyer, Manuel Oriol. “Is MCDC Really Better? Lessons from Combining Tests and Proofs”. In the International Conference on Tests and Proofs (TAP), pp. 25-44. 2024. https://doi.org/10.1007/978-3-031-72044-4_2

For the full list of publications, please refer to the CV.

Technical Patents
  • 034-22-US-001, System and method for generating failing tests from failed proofs, 2022
  • 034-23-US-012, Seeding contradiction as a fast method for generating full-coverage test suites, 2023
  • 034-23-US-018, System and method for repairing computer programs automatically without execution, 2024
Awards
  • IEEE Real-Time Systems Symposium (RTSS), Hong Kong, Student Travel Grant (2019).
  • European Joint Conferences on Theory and Practice of Software (ETAPS), Prague, Czech Republic, Student Scholarship (2019).
  • Formal Methods in Computer-Aided Design (FMCAD), University of Texas, Austin, USA, Student Forum Travel Award (2018).
  • Chinese National Endeavor Scholarship (3 times, 2013 – 2016) – Awarded by Chinese Government (top 5%).
  • Excellent Student Scholarship (3 times, top 20% based on GPA, 2013 – 2016).
  • Excellent Team in Ke Teng Cup Software Creativity Competition (top 5 teams, 2014).