Ghanati, A., Parsa, S. and Izadkhah, H. (2025) “SpecPatch: Specification-Aware Fault Localization and Constraint-Guided Program Repair for C/C++ Systems”, International Journal of Mathematical Modelling & Computations [Preprint]. doi:10.57647/ijm2c.2027.1702.12.