Delta Debugging

Delta Debugging is a methodology to automate the debugging of programs using a scientific approach of hypothesis-trial-result loop. This methodology… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1999-2017
051019992017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
This paper introduces the Coarse Hierarchical Delta Debugging algorithm for efficient test case reduction. It can be used as a… (More)
  • figure 1
  • figure 3
  • figure 4
  • table II
  • table III
Is this relevant?
2016
2016
What is a test case for? Sometimes, to expose a fault. Tests can also exercise code, use memory or time, or produce desired… (More)
  • figure 6
  • table I
  • figure 8
  • table II
  • table III
Is this relevant?
2016
2016
Programmers tasked with the fixing of a bug prefer working on a minimal test case where every single bit is needed to reproduce… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
2010
2010
Robustness and correctness are essential criteria for SAT and QBF solvers. We develop automated testing and debugging techniques… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • figure 1
Is this relevant?
2009
2009
SMT solvers are widely used as core engines in many applications. Therefore, robustness and correctness are essential criteria… (More)
  • table 1
  • table 2
Is this relevant?
2008
2008
Automated debugging attempts to locate the reason for a failure. Delta debugging minimizes the difference between two inputs… (More)
  • figure 1
Is this relevant?
2007
2007
Inputs causing a program to fail are usually large and often contain information irrelevant to the failure. It thus helps… (More)
  • figure 2.2
  • figure 3.1
  • figure 4.2
  • table 4.1
  • table 4.2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Inputs causing a program to fail are usually large and often contain information irrelevant to the failure. It thus helps… (More)
  • figure 2
  • figure 3
  • figure 5
  • table 1
  • table 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Given some test case, a program fails. Which circumstances of the test case are responsible for the particular failure? The Delta… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 8
Is this relevant?