Li Huang

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 6

Top Topics

Experimental Evaluation

Application Programs

Top Venues

Softw. Test. Verification Reliab.

SIGSOFT FSE Companion

Publications

Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol
Execution-free Program Repair. CoRR (2024)
Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol
Execution-Free Program Repair. SIGSOFT FSE Companion (2024)
Bertrand Meyer, Viktoryia Kananchuk, Li Huang
BUGFIX: towards a common language and framework for the AutomaticProgram Repair community. CoRR (2024)
Li Huang, Bertrand Meyer
A failed proof can yield a useful test. Softw. Test. Verification Reliab. 33 (7) (2023)
Li Huang, Bertrand Meyer, Manuel Oriol
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites. ICTSS (2023)
Li Huang, Bertrand Meyer, Manuel Oriol
Seeding Contradiction: a fast method for generating full-coverage test suites. CoRR (2023)