SDPFE: A Formal Reasoning Approach for Explaining Software Defect Predictions.

Chi Sun, Yong Li, Zheyuan Pan

Browse the full QRS paper archive.