A. Ghanati, S. Parsa, and H. Izadkhah, “SpecPatch: Specification-Aware Fault Localization and Constraint-Guided Program Repair for C/C++ Systems”, Int. J. Math. Model. Comput., Jul. 2025, doi: 10.57647/ijm2c.2027.1702.12.