Li Huang

According to our database, Li Huang authored at least 8 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Seeding Contradiction: a Fast Method for Generating Full-Coverage Test Suites.

Li Huang, Bertrand Meyer, Manuel Oriol

SN Comput. Sci., January, 2025

2024

BUGFIX: towards a common language and framework for the AutomaticProgram Repair community.

Bertrand Meyer, Viktoryia Kananchuk, Li Huang

CoRR, 2024

Is MCDC Really Better? Lessons from Combining Tests and Proofs.

Li Huang, Bertrand Meyer, Manuel Oriol

Proceedings of the Tests and Proofs - 18th International Conference, 2024

Execution-Free Program Repair.

Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

BUGFIX: Towards a Common Language and Framework for the Automatic Program Repair Community.

Bertrand Meyer, Viktoryia Kananchuk, Li Huang

Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024

2023

A failed proof can yield a useful test.

Li Huang, Bertrand Meyer

Softw. Test. Verification Reliab., November, 2023

Lessons from Formally Verified Deployed Software Systems.

Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege

CoRR, 2023

2022

Improving Counterexample Quality from Failed Program Verification.

Li Huang, Bertrand Meyer, Manuel Oriol

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022