Statistical fault localization aims at detecting execution features that correlate with failures, such as whether individual lines are part of the execution. We introduce SFLKit, an out-of-the-box workbench for statistical fault localization. The framework provides straightforward access to the fundamental concepts of statistical fault localization. It supports five predicate types, four coverage-inspired spectra, like lines, and 44 similarity coefficients, e.g., TARANTULA or OCHIAI, for statistical program analysis.
SFLKit separates the execution of tests from the analysis of the results and is therefore independent of the used testing framework. It leverages program instrumentation to enable the logging of events and derives the predicates and spectra from these logs. This instrumentation allows for introducing multiple programming languages and the extension of new concepts in statistical fault localization. Currently, SFLKit supports the instrumentation of Python programs. It is highly configurable, requiring only the logging of the required events.
Tue 15 NovDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
14:00 - 15:30
|Metadata-Based Retrieval for Resolution Recommendation in AIOps|
|PaReco: Patched Clones and Missed Patches among the Divergent Variants of a Software Family|
Poedjadevie Kadjel Ramkisoen University of Antwerp; Flanders Make, John Businge University of Antwerp; Flanders Make; University of Nevada at Las Vegas, Brent van Bladel University of Antwerp; Flanders Make, Alexandre Decan University of Mons; F.R.S.-FNRS, Serge Demeyer University of Antwerp; Flanders Make, Coen De Roover Vrije Universiteit Brussel, Foutse Khomh Polytechnique MontréalDOI
|Fault Localization to Detect Co-change Fixing Locations|
Yi Li New Jersey Institute of Technology, Shaohua Wang New Jersey Institute of Technology, Tien N. Nguyen University of Texas at DallasDOI
|Reflections on Software Failure Analysis|
Ideas, Visions and Reflections
Paschal Amusuo Purdue University, Aishwarya Sharma Purdue University, Siddharth R. Rao Purdue University, Abbey Vincent Purdue University, James C. Davis Purdue UniversityDOI
|eGEN: An Energy-saving Modeling Language and Code Generator for Location-sensing of Mobile Apps|
|SFLKit: A Workbench for Statistical Fault Localization|
Marius Smytzek CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information SecurityPre-print