Li Huang

Affiliations:

Constructor Institute, Software Engineering, Schaffhausen, Switzerland

According to our database¹, Li Huang authored at least 5 papers between 2022 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

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

[BibT_eX]

[DOI]

Bertrand Meyer

Viktoryia Kananchuk

Li Huang

CoRR, 2024

2023

A failed proof can yield a useful test.

[BibT_eX]

[DOI]

Li Huang

Bertrand Meyer

Softw. Test. Verification Reliab., November, 2023

Lessons from Formally Verified Deployed Software Systems.

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

Li Huang

Bertrand Meyer

Manuel Oriol

Proceedings of the Testing Software and Systems, 2023

2022

Improving Counterexample Quality from Failed Program Verification.

[BibT_eX]

[DOI]

Li Huang

Bertrand Meyer

Manuel Oriol

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

Li Huang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...