Li Huang (黄粒)

PhD Student in Constructor University

CV

Tel: +86 159 8918 0014

Email: li.huang@constructor.org

Address: Rheinweg 9, 8200 Schaffhausen, Switzerland

Research Interests

Education

PhD Student, Software Engineering (2020 - Present)

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. In the International Conference on Testing Software and Systems (ICTSS), September, 2023.

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

  3. Li Huang, Bertrand Meyer. A Failed Proof Can Yield a Useful Test. Submitted to Software Testing, Verification and Reliability (STVR), 2022.

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

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

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

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

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

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

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

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

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

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

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

Award

Teaching Assistant

Tool Development