Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


Oliver_Traben_s_Thesis (FINAL 2).pdf (1.39 MB)

Digital Accessibility Report

File List


__Oliver_Traben_s_Thesis (FINAL 2).pdf.accreport.html (7.96 KB)

ETD Abstract Container

Abstract Header

Gated Single Assignment Form Partnered with Value-Based Statistical Fault Localization for Numerical Java Programs

Traben, Oliver
http://rave.ohiolink.edu/etdc/view?acc_num=case1682002405858857

Abstract Details

2023, Master of Sciences (Engineering), Case Western Reserve University, EECS - Computer and Information Sciences.
In recent years, new value-based statistical fault localization methodologies have been introduced that utilize causal inference techniques to better estimate where faults occur in a program. These methods (1) convert numerical Java programs into equivalent numerical Java programs in an inspired version of Gated Single Assignment (GSA) form, they (2) create causal maps that contain causal relationships between all of the GSA variables in the translated program, and (3) they use these causal relationships to adjust for confounding bias during the fault localization calculations. In this thesis, a new source-to-source compiler is introduced, and it converts numerical Java programs into true GSA form (not an "inspired" version like the previous studies). This new tool is tested on a set of numerical Java libraries and compared with the previous studies, and it is found that true GSA form causes a significant increase in fault localization correctness.
Andy Podgurski (Advisor)
Michael Rabinovich (Committee Member)
Harold Connamacher (Committee Member)
Vipin Chaudhary (Committee Member)
72 p.
Computer Science
GSA; Gated Single Assignment; Statistical Fault Localization; Causal Inference; Confounding Bias; Static Single Assignment; SSA

Recommended Citations

Citations

  • Traben, O. (2023). Gated Single Assignment Form Partnered with Value-Based Statistical Fault Localization for Numerical Java Programs [Master's thesis, Case Western Reserve University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=case1682002405858857

    APA Style (7th edition)

  • Traben, Oliver. Gated Single Assignment Form Partnered with Value-Based Statistical Fault Localization for Numerical Java Programs. 2023. Case Western Reserve University, Master's thesis. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=case1682002405858857.

    MLA Style (8th edition)

  • Traben, Oliver. "Gated Single Assignment Form Partnered with Value-Based Statistical Fault Localization for Numerical Java Programs." Master's thesis, Case Western Reserve University, 2023. http://rave.ohiolink.edu/etdc/view?acc_num=case1682002405858857

    Chicago Manual of Style (17th edition)

case1682002405858857
24
© 2023, all rights reserved.
This open access ETD is published by Case Western Reserve University School of Graduate Studies and OhioLINK.