Autori: Roychoudhury Abhik
Naslov | Program Repair Guided by Datalog-Defined Static Analysis (Proceedings Paper) |
Autori | Liu Yu Mechtaev Sergey Subotic Pavle Roychoudhury Abhik |
Info | PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023, (2023), vol. br. , str. 1216-1228 |
Projekat | Singapore Ministry of Education (MoE) Tier 3 grant "Automated Program Repair" [MOE-MOET32021-0001] |
Ispravka | Web of Science Članak |
|
Naslov | Efficient SMT-Based Network Fault Tolerance Verification (Proceedings Paper) |
Autori | Liu Yu Subotic Pavle Letier Emmanuel Mechtaev Sergey Roychoudhury Abhik |
Info | FORMAL METHODS, FM 2023, (2023), vol. 14000 br. , str. 92-100 |
Ispravka | Web of Science Članak Elečas Rang časopisa |
|