Leveraging Causal Inference for Explainable Automatic Program Repair
Deep learning models have made significant progress in automatic program repair. However, the black-box nature of these methods has restricted their practical applications. To address this challenge, this paper presents an interpretable approach for program repair based on sequence-to-sequence models with causal inference and our method is called CPR, short for causal program repair. Our CPR can generate explanations in the process of decision making, which consists of groups of causally related input-output tokens. Firstly, our method infers these relations by querying the model with inputs disturbed by data augmentation. Secondly, it generates a graph over tokens from the responses and solves a partitioning problem to select the most relevant components. The experiments on four programming languages (Java, C, Python, and JavaScript) show that CPR can generate causal graphs for reasonable interpretations and boost the performance of bug fixing in automatic program repair.
Code (0)
등록된 구현이 없습니다.
Tasks
Bug fixingCausal InferenceData AugmentationDecision MakingProgram RepairMethods 이 논문이 사용한 방법론
Similar Papers 제목 키워드 기반
Explainable Federated Bayesian Causal Inference and Its Application in Advanced Manufacturing
Causal inference has recently gained notable attention across various fields like biology, healthcare, and environmental science, especially within explainable artificial intelligence (xAI) systems, for uncovering the ca…
Causal InferenceExplainable artificial intelligenceExplainable Artificial Intelligence (XAI)Federated LearningEverything Has a Cause: Leveraging Causal Inference in Legal Text Analysis
Causal inference is the process of capturing cause-effect relationship among variables. Most existing works focus on dealing with structured data, while mining causal relationship among factors from unstructured data, li…
Causal InferenceSBI: A Simulation-Based Test of Identifiability for Bayesian Causal Inference
A growing family of approaches to causal inference rely on Bayesian formulations of assumptions that go beyond causal graph structure. For example, Bayesian approaches have been developed for analyzing instrumental varia…
Causal InferenceExperimental DesignGaussian ProcessesFrom Checking to Inference: Actual Causality Computations as Optimization Problems
Actual causality is increasingly well understood. Recent formal approaches, proposed by Halpern and Pearl, have made this concept mature enough to be amenable to automated reasoning. Actual causality is especially vital …
counterfactualCausal programming: inference with structural causal models as finding instances of a relation
This paper proposes a causal inference relation and causal programming as general frameworks for causal inference with structural causal models. A tuple, $\langle M, I, Q, F \rangle$, is an instance of the relation if a …
Causal DiscoveryCausal InferenceRelationSelection bias