Announcement_2
“Sibyl: Improving Software Engineering Tools with SMT Selection” was selected as 1 of 10 papers to earn the ACM SIGSOFT Distinguished Paper Award at ICSE 2023!
“Sibyl: Improving Software Engineering Tools with SMT Selection” was selected as 1 of 10 papers to earn the ACM SIGSOFT Distinguished Paper Award at ICSE 2023!