• Sign in
  • Sign up
conf.researchr.org / Wenhua Li
  • APLAS 2023 profile
  • FSE 2024 profile
No Photo

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
xMon 19 May 03:12
using conf.researchr.org (v1.69.0)
Support page
Sign Up