Suchergebnisse - "Delta-debugging algorithm"

Using loop transformations for precision tuning in iterative programs

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

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

Quelle: 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⟩

Schlagwörter: 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

Geographisches Schlagwort: Portland, United States

Verfügbarkeit: 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

Autoren: Gustavsson, Johan

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

Dateibeschreibung: application/pdf

Verfügbarkeit: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-122904