SDPFE: A Formal Reasoning Approach for Explaining Software Defect Predictions

Chi Sun, Yong Li, Zheyuan Pan. SDPFE: A Formal Reasoning Approach for Explaining Software Defect Predictions. In 25th International Conference on Software Quality, Reliability, and Security, QRS 2025 - Companion, Hangzhou, China, July 16-20, 2025. pages 168-177, IEEE, 2025. [doi]

Abstract

Abstract is missing.