Ghanati, Amir, et al. “SpecPatch: Specification-Aware Fault Localization and Constraint-Guided Program Repair for C C++ Systems”. International Journal of Mathematical Modelling & Computations, July 2025, https://doi.org/10.57647/ijm2c.2027.1702.12.