Search Results - "delta-debugging algorithm"
-
1
Generalizing the Split Factor of the Minimizing Delta Debugging Algorithm
ISSN: 2169-3536, 2169-3536Published: Piscataway IEEE 2020Published in IEEE access (2020)“…One of the first attempts at the automation of test case reduction was the minimizing delta debugging algorithm, widely known as ddmin…”
Get full text
Journal Article -
2
Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 03.07.2023Published in arXiv.org (03.07.2023)“…Elevator systems are one kind of Cyber-Physical Systems (CPSs), and as such, test cases are usually complex and long in time. This is mainly because realistic…”
Get full text
Paper -
3
Using loop transformations for precision tuning in iterative programs
ISSN: 2576-2265Published: IEEE 04.09.2023Published in Proceedings - Symposium on Computer Arithmetic (04.09.2023)“…Many floating-point formats are available, providing all different levels of precision. By mixing several of these formats in the same program, it is possible…”
Get full text
Conference Proceeding -
4
Precimonious: tuning assistant for floating-point precision
ISBN: 9781450323789, 1450323782ISSN: 2167-4329Published: New York, NY, USA ACM 17.11.2013Published in 2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC) (17.11.2013)“…Given the variety of numerical errors that can occur, floating-point programs are difficult to write, test and debug. One common practice employed by…”
Get full text
Conference Proceeding -
5
Delta Debugging Microservice Systems
ISSN: 2643-1572Published: ACM 01.09.2018Published in 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2018)“… To address these challenges, in this paper, we propose a debugging approach for microservice systems based on the delta debugging algorithm, which is to minimize failure-inducing deltas of circumstances (e.g…”
Get full text
Conference Proceeding -
6
Simplifying and isolating failure-inducing input
ISSN: 0098-5589, 1939-3520Published: New York IEEE 01.02.2002Published in IEEE transactions on software engineering (01.02.2002)“…? The delta debugging algorithm generalizes and simplifies the failing test case to a minimal test case that still produces the failure…”
Get full text
Journal Article -
7
Auto-tuning for floating-point precision with Discrete Stochastic Arithmetic
ISSN: 1877-7503, 1877-7511Published: Elsevier B.V 01.09.2019Published in Journal of computational science (01.09.2019)“…•An algorithm and a software are proposed for floating-point precision auto-tuning.•Input programs are automatically modified taking into account accuracy…”
Get full text
Journal Article -
8
Evaluation of the fixed‐point iteration of minimizing delta debugging
ISSN: 2047-7473, 2047-7481Published: Chichester Wiley Subscription Services, Inc 01.10.2024Published in Journal of software : evolution and process (01.10.2024)“…The minimizing Delta Debugging (DDMIN) was among the first algorithms designed to automate the task of reducing test cases. Its popularity is based on the…”
Get full text
Journal Article -
9
Delta Debugging Microservice Systems with Parallel Optimization
ISSN: 1939-1374, 2372-0204Published: Piscataway IEEE 01.01.2022Published in IEEE transactions on services computing (01.01.2022)“… To address these challenges, we propose a debugging approach for microservice systems based on the delta debugging algorithm, which is to minimalize failure-inducing deltas of circumstances (e.g…”
Get full text
Journal Article -
10
Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?
Published: IEEE 01.03.2022Published in 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) (01.03.2022)“…Cyber-Physical Systems (CPSs) combine digital cyber technologies with parallel physical processes. On the one hand, verification methods of such systems mostly…”
Get full text
Conference Proceeding -
11
Fuzz Testing and Test Case Reduction
ISBN: 9798381059069Published: ProQuest Dissertations & Theses 01.01.2019“…In this thesis, two areas of software testing are presented, namely the random testing of JavaScript engines and the automatic reduction of interesting or…”
Get full text
Dissertation -
12
Relevant inputs analysis and its applications
ISSN: 1071-9458Published: IEEE 01.11.2013Published in Proceedings - International Symposium on Software Reliability Engineering (01.11.2013)“…In this paper we develop a dynamic analysis, named relevant input analysis, that characterizes the role and strength of inputs in the computation of different…”
Get full text
Conference Proceeding -
13
Testing and debugging techniques for answer set solver development
ISSN: 1471-0684, 1475-3081Published: Cambridge, UK Cambridge University Press 01.07.2010Published in Theory and practice of logic programming (01.07.2010)“… In particular, we develop a delta debugging algorithm in the context of answer set solving, and evaluate two different elimination strategies for the algorithm…”
Get full text
Journal Article -
14
Coarse Hierarchical Delta Debugging
Published: IEEE 01.09.2017Published in ICSME 2017 : proceedings : 2017 IEEE International Conference on Software Maintenance and Evolution : 19-22 September 2017, Shanghai, China (01.09.2017)“…This paper introduces the Coarse Hierarchical Delta Debugging algorithm for efficient test case reduction…”
Get full text
Conference Proceeding -
15
Automatically reducing tree-structured test inputs
Published: IEEE 01.10.2017Published in 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.10.2017)“…, to localize faults or to reduce test suites. The well-known delta debugging algorithm and its derivatives automate this task by repeatedly reducing a given input…”
Get full text
Conference Proceeding -
16
Tree Preprocessing and Test Outcome Caching for Efficient Hierarchical Delta Debugging
Published: IEEE 01.05.2017Published in 2017 IEEE/ACM 12th International Workshop on Automation of Software Testing (AST) (01.05.2017)“…Test case reduction has been automated since the introduction of the minimizing Delta Debugging algorithm, but improving the efficiency of reduction is still the focus of research…”
Get full text
Conference Proceeding -
17
Extracting Actionable Information From Bug Reports
ISBN: 1369656157, 9781369656152Published: ProQuest Dissertations & Theses 01.01.2016“…Finding and fixing bugs is a major but time- and effort-consuming task for software quality assurance in software development process. When a bug is filed,…”
Get full text
Dissertation -
18
Dynamic Analysis Techniques for Effective and Efficient Debugging
ISBN: 1321320841, 9781321320848Published: ProQuest Dissertations & Theses 01.01.2014“…Debugging is a tedious and time-consuming process for software developers. Therefore, providing effective and efficient debugging tools is essential for…”
Get full text
Dissertation -
19
Pinpointing Failure Inducing Event Orderings
Published: IEEE 01.11.2014Published in 2014 IEEE International Symposium on Software Reliability Engineering Workshops (01.11.2014)“… After testing all test cases of SCA to get full coverage on event orderings of length 2 and 3, new test cases are generated using a new method inspired from Delta Debugging Algorithm…”
Get full text
Conference Proceeding -
20
Testing and Debugging Techniques for Answer Set Solver Development
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 19.07.2010Published in arXiv.org (19.07.2010)“… In particular, we develop a delta debugging algorithm in the context of answer set solving, and evaluate two different elimination strategies for the algorithm…”
Get full text
Paper

