Li Huang
Li Huang is a PhD Student at the Chair of Software Engineering, Constructor Institute of Technology.
Contacts
| li.huang@constructor.org | |
| Personal website | huangl223.github.io/li/ |
Publications by Li Huang
- Li Huang, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber, Bertrand Meyer: "Do AI models help produce verified bug fixes?" 2025
- Li Huang, Bertrand Meyer, Reto Weber: "Loop unrolling - formal definition and application to testing" 2025
- Li Huang, Bertrand Meyer, Manuel Oriol: "Seeding Contradiction: a Fast Method for Generating Full-Coverage Test Suites" SN Computer Science 2024
- Bertrand Meyer, Viktoryia Kananchuk, Li Huang: "BUGFIX: towards a common language and framework for the Automatic Program Repair community" Proceedings of the 5th ACM/IEEE International Workshop on Automated Program Repair 2024
- Li Huang, Bertrand Meyer, Manuel Oriol: "Is MCDC Really Better? Lessons from Combining Tests and Proofs" Tests and Proofs: 18th International Conference, TAP 2024 2024
- Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol: "Execution-Free Program Repair" Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering 2024
- Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer, Yinling Liu: "Lessons from Formally Verified Deployed Software Systems (Extended version)" 2024
- Li Huang, Bertrand Meyer, Manuel Oriol: "Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites" Testing Software and Systems. ICTSS 2023 2023
- Li Huang, Bertrand Meyer: "A failed proof can yield a useful test" Software Testing, Verification and Reliability 2023
- Li Huang, Bertrand Meyer, Manuel Oriol: "Improving Counterexample Quality from Failed Program Verification" 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) 2022