Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,890,167 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.
2020
2020
Scaling Up Delta Debugging of Type Errors - Category: Research
Joanna Sharrad
,
O. Chitil
Symposium on Trends in Functional Programming
2020
Corpus ID: 221192788
Type error messages of compilers of statically typed functional languages are often inaccurate, making type error debugging hard…
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
Review
2013
Review
2013
The FITTEST Tool Suite for Testing Future Internet Applications
T. Vos
,
P. Tonella
,
+5 authors
M. Harman
FITTEST@ICTSS
2013
Corpus ID: 12382976
Future Internet applications are expected to be much more complex and powerful, by exploiting various dynamic capabilities For…
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
A Delta Debugger for ILP Query Execution
Remko Tronçon
,
Gerda Janssens
arXiv.org
2007
Corpus ID: 7051395
Because query execution is the most crucial part of Inductive Logic Programming (ILP) algorithms, a lot of effort is invested in…
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
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