Search Results for author: Md Rashedul Hasan

Found 1 papers, 0 papers with code

Automated Repair of Declarative Software Specifications in the Era of Large Language Models

no code implementations19 Oct 2023 Md Rashedul Hasan, Jiawei Li, Iftekhar Ahmed, Hamid Bagheri

In this study, we assess the effectiveness of utilizing OpenAI's ChatGPT to repair software specifications written in the Alloy declarative language.

Cannot find the paper you are looking for? You can Submit a new open access paper.