SDPFE: A Formal Reasoning Approach for Explaining Software Defect Predictions. - Chi Sun; Yong Li; Zheyuan Pan (QRS Companion, 2025)