3 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.SE2024★ 3 cited
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
Mohannad Alhanahnah, Md Rashedul Hasan, Lisong Xu +1
Automatic Program Repair (APR) has garnered significant attention as a practical research domain focused on automatically fixing bugs in programs. While existing APR techniques pri…
cs.SE2023★ 3 cited
Automated Repair of Declarative Software Specifications in the Era of Large Language Models
Md Rashedul Hasan, Jiawei Li, Iftekhar Ahmed +1
The growing adoption of declarative software specification languages, coupled with their inherent difficulty in debugging, has underscored the need for effective and automated repa…