We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Software Engineering

Title: Causal Program Dependence Analysis

Abstract: We introduce Causal Program Dependence Analysis (CPDA), a dynamic dependence analysis that applies causal inference to model the strength of program dependence relations in a continuous space. CPDA observes the association between program elements by constructing and executing modified versions of a program. One advantage of CPDA is that this construction requires only light-weight parsing rather than sophisticated static analysis. The result is a collection of observations based on how often a change in the value produced by a mutated program element affects the behavior of other elements. From this set of observations, CPDA discovers a causal structure capturing the causal (i.e., dependence) relation between program elements. Qualitative evaluation finds that CPDA concisely expresses key dependence relationships between program elements. As an example application, we apply CPDA to the problem of fault localization. Using minimal test suites, our approach can rank twice as many faults compared to SBFL.
Comments: 12 pages, 10 main text pages, 1 reference page, 1 appendix page, 5 figures, and 5 tables
Subjects: Software Engineering (cs.SE)
Cite as: arXiv:2104.09107 [cs.SE]
  (or arXiv:2104.09107v1 [cs.SE] for this version)

Submission history

From: Seongmin Lee Mr. [view email]
[v1] Mon, 19 Apr 2021 07:54:19 GMT (737kb,D)

Link back to: arXiv, form interface, contact.