Search Results - "Delta-debugging algorithm"

Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)

Authors: Valle, Pablo Arrieta, Aitor Arratibel, Maite

Source: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. :1055-1067

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2305.17803

Iterating the minimizing Delta debugging algorithm

Authors: Dániel Vince

Source: Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation. :57-60

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

OpenGL API call trace reduction with the minimizing Delta debugging algorithm

Authors: Daniella Bársony

Source: Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation. :53-56

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Generalizing the Split Factor of the Minimizing Delta Debugging Algorithm

Authors: Akos Kiss

Source: IEEE Access, Vol 8, Pp 219837-219846 (2020)

Subject Terms: split factor, Delta debugging, 0202 electrical engineering, electronic engineering, information engineering, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, granularity, test case reduction, TK1-9971

File Description: text

Access URL: https://ieeexplore.ieee.org/ielx7/6287639/6514899/09285235.pdf
https://doaj.org/article/9624254b51624dd98150330bd2a52824
https://ieeexplore.ieee.org/document/9285235/
https://dblp.uni-trier.de/db/journals/access/access8.html#Kiss20
https://doi.org/10.1109/ACCESS.2020.3043027

HDDr: a recursive variant of the hierarchical Delta debugging algorithm

Authors: Kiss Ákos Hodován Renáta Gyimóthy Tibor

Source: Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation. :16-22

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

File Description: text

Practical Improvements to the Minimizing Delta Debugging Algorithm

Authors: Hodován Renáta Kiss Ákos

Source: Proceedings of the 11th International Joint Conference on Software Technologies. :241-248

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

File Description: text

Access URL: https://dblp.uni-trier.de/db/conf/icsoft/icsoft2016-1.html#Hodovan016

Using loop transformations for precision tuning in iterative programs

Authors: Fakhreddine, Youssef Revy, Guillaume Digits, Architectures et Logiciels Informatiques (LIRMM et al.

Contributors: Fakhreddine, Youssef Revy, Guillaume Digits, Architectures et Logiciels Informatiques (LIRMM et al.

Source: ARITH 2023 ; ARITH 2023 - IEEE 30th Symposium on Computer Arithmetic ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-04939356 ; ARITH 2023 - IEEE 30th Symposium on Computer Arithmetic, Sep 2023, Portland, United States. pp.159-166, ⟨10.1109/ARITH58626.2023.00031⟩

Subject Terms: Floating-point arithmetic, Mixed precision, Dynamic precision tuning tool, Multiple-precision, Loop splitting and unrolling, Delta-debugging algorithm, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic

Subject Geographic: Portland, United States

Availability: https://hal-lirmm.ccsd.cnrs.fr/lirmm-04939356
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04939356v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-04939356v1/file/2023-Arith2023.pdf
https://doi.org/10.1109/ARITH58626.2023.00031

A Comparative Study of Automated Test Explorers

Authors: Gustavsson, Johan

Subject Terms: automated testing, graphwalker, ddmin, Minimizing Delta Debugging Algorithm, Lstar, L, L-star, mbt, model based testing, De Bruijn

File Description: application/pdf

Availability: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-122904

Delta Debugging Microservice Systems with Parallel Optimization.

Authors: Zhou, Xiang Peng, Xin Xie, Tao et al.

Source: IEEE Transactions on Services Computing; Jan/Feb2022, Vol. 15 Issue 1, p16-29, 14p

An industrial experience report on applying search-based boundary input generation to cyber-physical systems.

Authors: Valle, Pablo Riccio, Vincenzo Arrieta, Aitor et al.

Source: Empirical Software Engineering; Aug2025, Vol. 30 Issue 4, p1-34, 34p

Approximate Computing Survey, Part I: Terminology and Software & Hardware Approximation Techniques.

Authors: Leon, Vasileios Hanif, Muhammad Abdullah Armeniakos, Giorgos et al.

Source: ACM Computing Surveys; Jul2025, Vol. 57 Issue 7, p1-36, 36p

Subject Terms: ARTIFICIAL neural networks, COMPOUND annual growth rate, DIGITAL signal processing, ARTIFICIAL intelligence, TECHNOLOGICAL innovations, COMPILERS (Computer programs)

Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough?

Authors: Valle Entrena, Pablo Arrieta, Aitor

Index Terms: Location awareness, Analytical models, Adaptation models, Costs, Software packages, software algorithms, Debugging, info:eu-repo/semantics/conferenceObject

URL: https://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=167568
https://hdl.handle.net/20.500.11984/5848

A bounded constraint-based approach to aid in fault localization from a counterexample.

Authors: Bekkouche, Mohammed

Source: Innovations in Systems & Software Engineering; Jun2025, Vol. 21 Issue 2, p687-705, 19p

Provenance Guided Rollback Suggestions.

Authors: ZHAO, DAVID SUBOTIĆ, PAVLE RAGHOTHAMAN, MUKUND et al.

Source: Theory & Practice of Logic Programming; May2025, Vol. 25 Issue 3, p256-280, 25p

Subject Terms: LOGIC programming, DEBUGGING, PROBLEM solving, RULE-based programming

Scaling Up Delta Debugging of Type Errors

Authors: Byrski, Aleksander Hughes, John Sharrad, Joanna et al.

Index Terms: QA 76 Software, computer programming, Book section, PeerReviewed

URL: https://kar.kent.ac.uk/81977/
https://kar.kent.ac.uk/81977
http://dx.doi.org/10.1007/978-3-030-57761-2_4
10.1007/978-3-030-57761-2_4

Fault localization for automatic train operation based on the adaptive error locating array algorithm.

Authors: Zhang, Yanpeng Cao, Yuxiang

Source: Scientific Reports; 1/2/2025, Vol. 15 Issue 1, p1-17, 17p

Subject Terms: PARTICLE swarm optimization, FAULT location (Engineering), HIGH speed trains, ARTIFICIAL intelligence, IMAGE processing, ELECTRIC fault location

Testing and debugging techniques for answer set solver development.

Authors: Brummayer, Robert Järvisalo, Matti

Source: Theory & Practice of Logic Programming; Jul2010, Vol. 10 Issue 4-6, p741-758, 18p

Subject Terms: DEBUGGING, LOGIC programming, LOGIC programming languages, COMPUTER programming, ALGORITHMS, PROGRAMMING languages

Simplifying and Isolating Failure-Inducing Input.

Authors: Zeller, Andreas Hildebrandt, Ralf

Source: IEEE Transactions on Software Engineering; Feb2002, Vol. 28 Issue 2, p183-200, 18p

Subject Terms: FAULT-tolerant computing, COMPUTER reliability, SOFTWARE verification, COMPUTER software correctness, COMBINATORICS, SOFTWARE failures, COMPUTER software

Evaluation of the fixed‐point iteration of minimizing delta debugging.

Authors: Vince, Dániel Kiss, Ákos

Source: Journal of Software: Evolution & Process; Oct2024, Vol. 36 Issue 10, p1-16, 16p

Subject Terms: DATA structures, DEBUGGING, ALGORITHMS, POPULARITY

Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning.

Authors: Wang, Yutong Rubio-González, Cindy

Source: ICSE: International Conference on Software Engineering; 2024, p1-13, 13p

Subject Terms: PRECISION (Information retrieval), GRAPH neural networks, NUMERICAL analysis, COMPUTER software, COMPUTER files