Ghanati, Amir, Saeed Parsa, and Habib Izadkhah. “SpecPatch: Specification-Aware Fault Localization and Constraint-Guided Program Repair for C C++ Systems”. International Journal of Mathematical Modelling & Computations (July 24, 2025). Accessed July 24, 2026. https://oiccpress.com/ijm2c/article/view/19338.