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