Fault localization using value replacement

Authors:
Dennis Jeffrey;Neelam Gupta;Rajiv Gupta
Affiliations:
University of California at Riverside, Riverside, CA, USA;N/A, N/A, USA;University of California at Riverside, Riverside, CA, USA
Venue:
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Year:
2008

Citing 16
Cited 30

Dynamic program slicing

Information Processing Letters
Dynamic program slicing

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria

ICSE '94 Proceedings of the 16th international conference on Software engineering
Simplifying and Isolating Failure-Inducing Input

IEEE Transactions on Software Engineering
Tracking down software bugs using automatic anomaly detection

Proceedings of the 24th International Conference on Software Engineering
Isolating cause-effect chains from computer programs

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Bug isolation via remote program sampling

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Locating causes of program failures

Proceedings of the 27th international conference on Software engineering
Scalable statistical bug isolation

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
SOBER: statistical model-based bug localization

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Error explanation and fault localization with distance metrics

Error explanation and fault localization with distance metrics
Locating faulty code using failure-inducing chops

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Empirical evaluation of the tarantula automatic fault-localization technique

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Automated path generation for software fault localization

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Pruning dynamic slices with confidence

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Locating faults through automated predicate switching

Proceedings of the 28th international conference on Software engineering

Effective identification of failure-inducing changes: a hybrid approach

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Capturing propagation of infected program states

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Fault localization through evaluation sequences

Journal of Systems and Software
Execution suppression: An automated iterative technique for locating memory errors

ACM Transactions on Programming Languages and Systems (TOPLAS)
Learning universal probabilistic models for fault localization

Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Practical fault localization for dynamic web applications

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
BPGen: an automated breakpoint generator for debugging

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Causal inference for statistical fault localization

Proceedings of the 19th international symposium on Software testing and analysis
On test repair using symbolic execution

Proceedings of the 19th international symposium on Software testing and analysis
Memory indexing: canonicalizing addresses across executions

Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Path-based fault correlations

Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Locating faults using multiple spectra-specific models

Proceedings of the 2011 ACM Symposium on Applied Computing
Angelic debugging

Proceedings of the 33rd International Conference on Software Engineering
kb-anonymity: a model for anonymized behaviour-preserving test and debugging data

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Selecting peers for execution comparison

Proceedings of the 2011 International Symposium on Software Testing and Analysis
Statistical debugging with elastic predicates

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Automated documentation inference to explain failed tests

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
How well does test case prioritization integrate with statistical fault localization?

Information and Software Technology
Modifying test suite composition to enable effective predicate-level statistical debugging

NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Reducing confounding bias in predicate-level statistical debugging metrics

Proceedings of the 34th International Conference on Software Engineering
Investigating unexpected outcomes through the application of statistical debuggers

Proceedings of the Winter Simulation Conference
Applying enhanced fault localization technology to Monte Carlo simulations

Proceedings of the Winter Simulation Conference
A general noise-reduction framework for fault localization of Java programs

Information and Software Technology
On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization

Information and Software Technology
F3: fault localization for field failures

Proceedings of the 2013 International Symposium on Software Testing and Analysis
Combining slicing and constraint solving for better debugging: the CONBAS approach

Advances in Software Engineering
Injecting mechanical faults to localize developer faults for evolving software

Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Mutation-oriented test data augmentation for GUI software fault localization

Information and Software Technology
BPELDebugger: An effective BPEL-specific fault localization framework

Information and Software Technology
Slice-based statistical fault localization

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a value profile based approach for ranking program statements according to their likelihood of being faulty. The key idea is to see which program statements exercised during a failing run use values that can be altered so that the execution instead produces correct output. Our approach is effective in locating statements that are either faulty or directly linked to a faulty statement. We present experimental results showing the effectiveness and efficiency of our approach. Our approach outperforms Tarantula which, to our knowledge, is the most effective prior approach for statement ranking based fault localization using the benchmark programs we studied.