Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wenhua Li
conf.researchr.org general profile
APLAS 2023 profile
FSE 2024 profile
Not registered as user
Name:
Wenhua Li
Affiliation:
National University of Singapore
Contributions
2024
ESEC/FSE
Author of ProveNFix: Temporal Property guided Program Repair within the Research Papers-track
Author of ProveNFix: Temporal Property guided Program Repair within the Posters-track
2023
APLAS
Author of Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection within the APLAS 2023-track
Share
x
Sat 21 Dec 18:14