@ARTICLE{
author={Liu Yu,Mechtaev Sergey,Subotic Pavle,Roychoudhury Abhik},
year={2023},
title={Program Repair Guided by Datalog-Defined Static Analysis},
journal={PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023},
volume={},
number={},
pages={1216-1228},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Liu Yu,Subotic Pavle,Letier Emmanuel,Mechtaev Sergey,Roychoudhury Abhik},
year={2023},
title={Efficient SMT-Based Network Fault Tolerance Verification},
journal={FORMAL METHODS, FM 2023},
volume={14000},
number={},
pages={92-100},
document_type={Proceedings Paper},
}