Li Huang (黄粒)

PhD Student in Constructor Institute of Technology & Constructor University

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

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

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

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

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

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

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

  8. Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege. Lessons from Formally Verified Deployed Software Systems, Work-in-progress for submission of ACM Computing Surveys, 2023.

  9. 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 SymposiumBrief Presentation (RTSS-BP), Hong Kong, China, December, 2019.

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

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

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

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

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

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

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

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

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

– Patent US20240045791A1: System and method for generating failing tests from failed proofs

Award

Teaching Assistant

Tool Development