Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,111,814 papers from all fields of science
Search
Sign In
Create Free Account
Delta Debugging
Delta Debugging is a methodology to automate the debugging of programs using a scientific approach of hypothesis-trial-result loop. This methodology…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Bisection (software engineering)
Program slicing
Unit testing
Broader (1)
Debugging
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Parallel Solving of Quantified Boolean Formulas
Florian Lonsing
,
M. Seidl
Handbook of Parallel Constraint Reasoning
2018
Corpus ID: 19205017
Quantified Boolean formulas (QBFs) extend propositional logic by universal and existential quantifiers over the propositional…
Expand
2015
2015
Verifying large modular systems using iterative abstraction refinement
Jussi Lahtinen
,
Tuomas Kuismin
,
Keijo Heljanko
Reliability Engineering & System Safety
2015
Corpus ID: 207512945
2015
2015
A Scalable Prescriptive Parallel Debugging Model
N. B. Jensen
,
N. Nielsen
,
+4 authors
D. Ahn
IEEE International Parallel and Distributed…
2015
Corpus ID: 14928576
Debugging is a critical step in the development of any parallel program. However, the traditional interactive debugging model…
Expand
2012
2012
Compliance testing for wrapper-based API migration
T. Bartolomei
,
K. Czarnecki
,
R. Lämmel
2012
Corpus ID: 16396032
Wrapping is an established technique for API migration: the use of a given API within the system under migration is replaced by…
Expand
Review
2009
Review
2009
Debugging debugging: acm sigsoft impact paper award keynote
A. Zeller
ESEC/FSE '09
2009
Corpus ID: 6915649
Imagine some program and a number of changes. If none of these changes is applied ("yesterday"), the program works. If all…
Expand
2007
2007
Instrumenting where it hurts: an automatic concurrent debugging technique
Rachel Tzoref
,
S. Ur
,
E. Yom-Tov
International Symposium on Software Testing and…
2007
Corpus ID: 8513140
As concurrent and distributive applications are becoming more common and debugging such applications is very difficult, practical…
Expand
2007
2007
Isolating cause-effect chains in computer systems
S. Neuhaus
,
A. Zeller
Software Engineering
2007
Corpus ID: 15322732
: One of the major tasks in maintaining software systems is understanding how specific effects came to be. This is especially true…
Expand
Review
2007
Review
2007
Review of “Why Programs Fail: A Guide to Systematic Debugging by Andreas Zeller”, Morgan Kaufmann, 2005, $54.95, ISBN: 1558608664
Fernando Berzal Galiano
Queue
2007
Corpus ID: 195724669
Review of “Why Programs Fail: A Guide to Systematic Debugging by Andreas Zeller”, Morgan Kaufmann, 2005, $54.95, ISBN: 1558608664
2006
2006
Chapter 14 – Isolating Cause-Effect Chains
A. Zeller
2006
Corpus ID: 64350404
2005
2005
Capture and Replay of User Executions to Improve Software Quality
Shrinivas Joshi
2005
Corpus ID: 17203064
Because today’s software is increasingly dynamic and runs in heterogeneous environments, it is difficult to assess software…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE