Efficient SMT-Based Network Fault Tolerance Verification. - Yu Liu 130; Pavle Subotic; Emmanuel Letier; Sergey Mechtaev; Abhik Roychoudhury (FM, 2023)

Program Repair Guided by Datalog-Defined Static Analysis. - Yu Liu 130; Sergey Mechtaev; Pavle Subotic; Abhik Roychoudhury (ESEC/SIGSOFT FSE, 2023)

Computation Tree Logic Guided Program Repair. - Yu Liu 130; Yahui Song; Martin Mirchev; Abhik Roychoudhury (IEEE Trans. Software Eng., 2026)