Browsing eNauka
Browsing by Author Mechtaev, Sergey
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2023 | Efficient SMT-Based Network Fault Tolerance Verification | Liu, Yu; Subotic, Pavle; Letier, Emmanuel; Mechtaev, Sergey; Roychoudhury, Abhik | Conference Paper | Mp. category will be shown later |
| 2023 | Program Repair Guided by Datalog-Defined Static Analysis | Liu, Yu; Mechtaev, Sergey; Subotic, Pavle; Roychoudhury, Abhik | Conference Paper | Mp. category will be shown later |