SpecPatch: Specification-Aware Fault Localization and Constraint-Guided Program Repair for C/C++ Systems Amir Ghanati, Saeed Parsa*, Habib Izadkhah, 10.57647/ijm2c.2027.1702.12 XML Requires Subscription PDF downloads: 28
10.57647/ijm2c.2027.1702.12