Výsledky vyhľadávania - "Minimizing Delta Debugging Algorithm"

Iterating the minimizing Delta debugging algorithm

Autori: Dániel Vince

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

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

OpenGL API call trace reduction with the minimizing Delta debugging algorithm

Autori: Daniella Bársony

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

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Generalizing the Split Factor of the Minimizing Delta Debugging Algorithm

Autori: Akos Kiss

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

Predmety: 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

Popis súboru: text

Prístupová URL adresa: 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

Practical Improvements to the Minimizing Delta Debugging Algorithm

Autori: Hodován Renáta Kiss Ákos

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

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Popis súboru: text

Prístupová URL adresa: https://dblp.uni-trier.de/db/conf/icsoft/icsoft2016-1.html#Hodovan016

A Comparative Study of Automated Test Explorers

Autori: Gustavsson, Johan

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

Popis súboru: application/pdf

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

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

Autori: Vince, Dániel Kiss, Ákos

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

Predmety: DATA structures, DEBUGGING, ALGORITHMS, POPULARITY

A source model simplification method to assist model transformation debugging.

Autori: Jiang, Junpeng Jiang, Mingyue Nie, Liming a ďalší

Zdroj: Software Quality Journal; Sep2024, Vol. 32 Issue 3, p961-984, 24p

Predmety: DEBUGGING, PROGRAM transformation, COMPUTER software quality control, MODELS & modelmaking, QUALITY assurance, PRODUCT quality

The effect of hoisting on variants of Hierarchical Delta Debugging.

Autori: Vince, Dániel Hodován, Renáta Bársony, Daniella a ďalší

Zdroj: Journal of Software: Evolution & Process; Nov2022, Vol. 34 Issue 11, p1-26, 26p

Predmety: SARS-CoV-2 Delta variant, DEBUGGING

Growing A Test Corpus with Bonsai Fuzzing.

Autori: Vikram, Vasudev Padhye, Rohan Sen, Koushik

Zdroj: ICSE: International Conference on Software Engineering; 5/22/2021, p723-735, 13p

Predmety: COMPUTER software testing, ARTIFICIAL intelligence, SOFTWARE engineers, COMPUTER science, COMPUTER software development

Debugging Inputs.

Autori: Kirschner, Lukas Soremekun, Ezekiel Zeller, Andreas

Zdroj: ICSE: International Conference on Software Engineering; 6/17/2020, p75-86, 12p

Predmety: DEBUGGING, INFORMATION storage & retrieval systems, ALGORITHMS, COMPUTER software development, MACHINE learning

Tree Preprocessing and Test Outcome Caching for Efficient Hierarchical Delta Debugging

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

Zdroj: 2017 IEEE/ACM 12th International Workshop on Automation of Software Testing (AST). :23-29

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 15. Life on land

Popis súboru: text

HDDr: a recursive variant of the hierarchical Delta debugging algorithm

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

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

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Popis súboru: text

Modernizing hierarchical delta debugging

Autori: Hodován Renáta Kiss Ákos

Zdroj: Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation. :31-37

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Popis súboru: text

Prístupová URL adresa: https://dl.acm.org/doi/10.1145/2994291.2994296
https://dblp.uni-trier.de/db/conf/sigsoft/atest2016.html#Hodovan016

Automated extraction of failure reproduction steps from user interaction traces.

Autori: Roehm, Tobias Nosovic, Stefan Bruegge, Bernd

Zdroj: 2015 IEEE 22nd International Conference on Software Analysis, Evolution & Reengineering (SANER); 2015, p121-130, 10p

Simplifying and Isolating Failure-Inducing Input.

Autori: Zeller, Andreas Hildebrandt, Ralf

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

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

Efficiently finding minimal failing input in MapReduce programs.

Autori: Ayub, Muhammad Sohaib Siddiqui, Junaid Haroon

Zdroj: ICSE: International Conference on Software Engineering; 5/27/2018, p177-178, 2p

Predmety: COMPUTER software development, PRODUCTION scheduling, DISTRIBUTED computing, COMPUTER software execution, COMPUTER programming, ALGORITHMS

Guest Editor' Introduction: 2000 International Symposium on Software Testing and Analysis.

Autori: Harrold, Mary Jean Bertolino, Antonia

Zdroj: IEEE Transactions on Software Engineering; Feb2002, Vol. 28 Issue 2, p113-114, 2p

Predmety: SOFTWARE verification, COMPUTER networks, INFORMATION technology, COMPUTER systems, INFORMATION networks, COMPUTER software

Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autori: Reiner Hähnle Wil van der Aalst

Typ zdroja: eBook.

Predmet: Computer industry, Information theory, Computer system performance, Software engineering, Computer science, Computer simulation, Electronic data processing, Digital computer simulation

Kategórie: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Computer Simulation

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Autori: Omri Isac Radoslav Ivanov Guy Katz a ďalší

Typ zdroja: eBook.

Predmet: Computer science, Computer networks, Machine learning, Computer vision, Software engineering

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Probability & Statistics / General

Why Programs Fail : A Guide to Systematic Debugging

Autori: Andreas Zeller

Typ zdroja: eBook.

Predmet: Debugging in computer science

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / General