Scholar
Li Huang
Google Scholar ID: NT6BRFQAAAAJ
Constructor Institute of Technology
Citations & Impact
Citations
136
H-index
6
i10-index
4
Publications
20
Co-authors
4
list available
Contact
Publications
Resume (English only)
Academic Achievements
- - Publications:
- 1. "Do AI models help produce verified bug fixes", arXiv preprint arXiv:2507.15822, 2025.
- 2. "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. "Lessons from Formally Verified Deployed Software Systems", to appear at ACM Computing Surveys, available at arxiv.org/abs/2301.02206, 2025.
- 4. "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. "Is MCDC Really Better? Lessons from Combining Tests and Proofs", In the International Conference on Tests and Proofs (TAP), pp. 25-44, 2024.
- 6. "Execution-Free Program Repair", In Companion Proceedings of the International Conference on the Foundations of Software Engineering (FSE-IVR), 2024.
- 7. "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. "A Failed Proof Can Yield a Useful Test", In Software Testing, Verification and Reliability (STVR), 33(7), 2023.
- 9. "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. "Improving Counterexample Quality from Failed Program Verification", In the IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), North Carolina, October, 2022.
- 11. "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. "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. "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. "Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System"
Research Experience
- - Postdoctoral researcher, Constructor Institute of Technology
Education
- - PhD, Software Engineering (2020 - 2025), Chair of Software and Security, Constructor Institute of Technology & Constructor University, Advisor: Prof. Bertrand Meyer
- - Master, Software Engineering (2017 - 2019), School of Data and Computer Science, Sun Yat-Sen University, Advisor: Associate Prof. Eun-Young Kang
- - Bachelor, Software Engineering (2013 - 2017), School of Data and Computer Science, Sun Yat-Sen University
Background
- Research Interests: Software testing, formal verification, program analysis, formal method, AI4SE; Field: Software Engineering.
Miscellany
- Email: li.huang@constructor.org
- Address: Rheinweg 9, 8200 Schaffhausen, Switzerland
