Li Huang (黄粒)

Postdoctoral researcher in Constructor Institute of Technology

CV

Email: li.huang@constructor.org

Address: Rheinweg 9, 8200 Schaffhausen, Switzerland

Research Interests

Education

PhD, Software Engineering (2020 - 2025)

Master, Software Engineering (2017 - 2019)

Bachelor, Software Engineering (2013 - 2017)

Publications

  1. Li Huang, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber, and Bertrand Meyer. Do AI models help produce verified bug fixes, arXiv preprint arXiv:2507.15822, 2025.

  2. Li Huang, Bertrand Meyer, and Reto Weber. Loop unrolling: formal definition and application to testing, to appear at the International Conference on Testing Software and Systems (ICTSS), available at arXiv:2502.15535, 2025.

  3. Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, Aliyu Alege. Lessons from Formally Verified Deployed Software Systems, to appear at ACM Computing Surveys, available at arxiv.org/abs/2301.02206, 2025.

  4. Li Huang, Bertrand Meyer, Manuel Oriol. Seeding Contradiction: a Fast Method for Generating Full-coverage Test Suites. Accepted in the Special Issue: Testing Software and Systems: theory and applications, in Springer Nature Computer Science (SNCS), October, 2024.

  5. 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.

  6. Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol. Execution-Free Program Repair. In Companion Proceedings of the International Conference on the Foundations of Software Engineering (FSE-IVR), 2024.

  7. Bertrand Meyer, Viktoryia Kananchuk, Li Huang. BUGFIX: towards a common language and framework for the Automatic Program Repair community. In the International Workshop on Automated Program Repair, pp. 9-13. 2024.

  8. Li Huang, Bertrand Meyer. A Failed Proof Can Yield a Useful Test. In Software Testing, Verification and Reliability (STVR), 33(7), 2023.

  9. Li Huang, Bertrand Meyer, Manuel Oriol. Seeding Contradiction: a Fast Method for Generating Full-coverage Test Suites. In IFIP International Conference on Testing Software and Systems, pp. 52-70, 2023

  10. Li Huang, Bertrand Meyer, Manuel Oriol. Improving Counterexample Quality from Failed Program Verification. In the IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), North Carolina, October, 2022.

  11. Li Huang and Eun-Young Kang. “Work-In-Progress: Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems.” In the IEEE Real-Time Systems Symposium Brief Presentation (RTSS-BP), Hong Kong, China, December, 2019.

  12. Li Huang, Tian Liang and Eun-Young Kang. “Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems.” In the International Conference on Engineering of Complex Computer Systems (ICECCS), Hong Kong, China, November, 2019.

  13. Li Huang, Tian Liang and Eun-Young Kang. “Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems.” In the International Conference on Software Quality, Reliability, and Security (QRS), University of Sofia, Sofia, Bulgaria, July, 2019.

  14. 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, Prague, Czech Republic, April, 2019.

  15. Li Huang and Eun-Young Kang. “SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems.” In the Formal Methods in Computer-Aided Design (FMCAD) Student Forum, University of Texas, Austin, USA, October, 2018.

  16. Eun-Young Kang and Li Huang (Presenter). “Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems using Simulink Design Verifier.” In the International Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA), pp. 170-186, Springer, Beijing, China, September 2018.

  17. Eun-Young Kang, Dongrui Mu, and Li Huang. “Probabilistic Verification of Timing Constraints in Automotive Systems using UPPAAL-SMC.” In the International Conference on Integrated Formal Methods (IFM), pp. 236-254, Springer, Maynooth, Ireland, September 2018.

  18. Eun-Young Kang, Li Huang, and Dongrui Mu. “Formal Verification of Energy and Timed Requirements for a Cooperative Automotive System.” In the ACM/SIGAPP Symposium On Applied Computing in Software Engineering (SAC), pp. 1492-1499, ACM, Pau, France, April 2018.

  19. Eun-Young Kang, Dongrui Mu, Li Huang, and Qianqing Lan. “Verification and Validation of a Cyber-Physical System in the Automotive Domain.” In the International Conference on Software Quality, Reliability and Security (QRS), pp. 326-333, IEEE, Prague, Czech Republic, July 2017.

  20. Eun-Young Kang, Dongrui Mu, Li Huang and Qianqing Lan. “Model-Based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System.” In the International Conference on Software Quality, Reliability and Security (QRS), pp. 525-532, IEEE, Prague, Czech Republic, July 2017.

Technical Patent

Award

Teaching Assistant

Tool Development