Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,232,841 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.
2018
2018
Nondeterministic Event Sequence Reduction for Android Applications
B. Jiang
,
Xiaoyan Wang
,
Huanqiang Xu
,
Hao Wang
,
Chao Zhang
International Conferences on Dependable Systems…
2018
Corpus ID: 54454321
Crowdsourced testing is also effective to expose errors within the applications under test. This is because crowdsourced testers…
Expand
2018
2018
Title : Systematic approaches for increasing soundness and precision of static analyzers
Anders Møller
2018
Corpus ID: 267801700
Building static analyzers for modern programming languages is difficult. Often soundness is a requirement, perhaps with some well…
Expand
2017
2017
Map ( b ) Delta Debugging ( c ) Data Provenance
Muhammad Ali Gulzar
,
Matteo Interlandi
,
Xueyuan Han
,
Mingda Li
,
Tyson Condie
,
Miryung Kim
2017
Corpus ID: 53546098
Developing Big Data Analytics workloads often involves trial and error debugging, due to the unclean nature of datasets or wrong…
Expand
2017
2017
A suite of tools for making effective use of automatically generated tests
J. Holmes
,
Alex Groce
International Symposium on Software Testing and…
2017
Corpus ID: 978737
Automated test generation tools (we hope) produce failing tests from time to time. In a world of fault-free code this would not…
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
2012
2012
Automated Debugging in a Trading System
Saeed Ansariramandi
2012
Corpus ID: 17503563
Verifying the reliability and functionality of a complex system like a trading system is highly demanding since failure in such a…
Expand
2010
2010
Developing Tools for Floating-point Debugging Grey Ballard
Grey Ballard
2010
Corpus ID: 8467406
Floating-point arithmetic exhibits subtle behavior and the growing majority of users of numerical software are not experts in…
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
2007
2007
Installing and Debugging DVOR Equipment
Ye Ping-fan
2007
Corpus ID: 112165725
This paper introduces the working principles, monitoring antenna, main components and power supply circuits of DVOR equipment…
Expand
1997
1997
Memory test-debugging test vectors without ATE
S. Westfall
Proceedings International Test Conference
1997
Corpus ID: 1582567
A method for debugging functional production test vectors for memory devices without the use of Automated Test Equipment (ATE) is…
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
or Only Accept Required