Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yu Liu
conf.researchr.org general profile
ICSE 2024 profile
Registered user since Sat 23 Mar 2024
Name:
Yu Liu
Affiliation:
National University of Singapore
Contributions
2024
KLEE
Author of Program Repair Guided by Datalog-defined Static Analysis within the KLEE 2024-track
Share
x
Wed 14 Aug 20:45