34 citations · 38 across the 6 of their papers we have counts for
1 paper · 2 filters
Md Rakib Hossain Misu, Iris Ma, Cristina V. Lopes +2
Formal specifications play a central role in ensuring software reliability, yet automatically synthesizing high-quality specifications remains difficult and often requires domain e…