Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches.

Md Rashedul Hasan, Mohannad Alhanahnah, Clay Stevens, Hamid Bagheri

Browse the full DSN paper archive.