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

Understand

The growing adoption of declarative software specification languages, coupled with their inherent difficulty in debugging, has underscored the need for effective and automated repair techniques applicable to such languages.

• Researchers have recently explored various methods to automatically repair declarative software specifications, such as template-based repair, feedback-driven iterative repair, and bounded exhaustive approaches.
• The latest developments in large language models provide new opportunities for the automatic repair of declarative specifications.
• In this study, we assess the effectiveness of utilizing OpenAI's ChatGPT to repair software specifications written in the Alloy declarative language.