Li Huang

Orcid: 0000-0003-3531-4045

Affiliations:
  • Constructor Institute, Software Engineering, Schaffhausen, Switzerland


According to our database1, Li Huang authored at least 8 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

Is MCDC Really Better? Lessons from Combining Tests and Proofs.
Proceedings of the Tests and Proofs - 18th International Conference, 2024

Execution-Free Program Repair.
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.
Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024

2023
A failed proof can yield a useful test.
Softw. Test. Verification Reliab., November, 2023

Lessons from Formally Verified Deployed Software Systems.
CoRR, 2023

Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites.
Proceedings of the Testing Software and Systems, 2023

2022
Improving Counterexample Quality from Failed Program Verification.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022


  Loading...