Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
82 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

Geographischer Bezug

82 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    An Empirical Study on Bugs in Python Interpreters.
    Wang, Ziyuan ; Bu, Dexin ; et al.
    In: IEEE Transactions on Reliability, Jg. 71 (2022-06-01), Heft 2, S. 716-734
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Finding Bugs in Cryptographic Hash Function Implementations.
    Mouha, Nicky ; Raunak, Mohammad S. ; et al.
    In: IEEE Transactions on Reliability, Jg. 67 (2018-09-01), Heft 3, S. 870-884
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Studying Aging-Related Bug Prediction Using Cross-Project Models.
    Qin, Fangyun ; Zheng, Zheng ; et al.
    In: IEEE Transactions on Reliability, Jg. 68 (2019-09-01), Heft 3, S. 1134-1153
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    The Bug Life Cycle.
    Anderson, Lisa ; Francis, Brenda
    In: Journal of the Quality Assurance Institute, Jg. 18 (2004), Heft 1, S. 22-28
    academicJournal
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Bug traces: identifying and downsizing packet traces with failures triggered in networking devices.
    Lin, Ying-dar ; Lu, Chun-nan ; et al.
    In: IEEE Communications Magazine, Jg. 52 (2014-04-01), Heft 4, S. 112-119
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Finding Atomicity-Violation Bugs through Unserializable Interleaving Testing.
    Lu, Shan ; Park, Soyeon ; et al.
    In: IEEE Transactions on Software Engineering, Jg. 38 (2012-04-01), Heft 4, S. 844-844
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Stress Testing With Influencing Factors to Accelerate Data Race Software Failures.
    Qiu, Kun ; Zheng, Zheng ; et al.
    In: IEEE Transactions on Reliability, Jg. 69 (2020-03-01), Heft 1, S. 3-21
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    SIT-SE: A Specification-Based Incremental Testing Method With Symbolic Execution.
    Wang, Rong ; Liu, Shaoying ; et al.
    In: IEEE Transactions on Reliability, Jg. 70 (2021-09-01), Heft 3, S. 1053-1070
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    RTL-ConTest: Concolic Testing on RTL for Detecting Security Vulnerabilities.
    Meng, Xingyu ; Kundu, Shamik ; et al.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, Jg. 41 (2022-03-01), Heft 3, S. 466-477
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    An Approach for the Prediction of Number of Software Faults Based on the Dynamic Selection of Learning Techniques.
    Rathore, Santosh Singh ; Kumar, Sandeep
    In: IEEE Transactions on Reliability, Jg. 68 (2019-03-01), Heft 1, S. 216-236
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Duo: Differential Fuzzing for Deep Learning Operators.
    Zhang, Xufan ; Liu, Jiawei ; et al.
    In: IEEE Transactions on Reliability, Jg. 70 (2021-12-01), Heft 4, S. 1671-1685
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Enhancing Conformance Testing Using Symbolic Execution for Network Protocols.
    Song, Jae ; Seung ; et al.
    In: IEEE Transactions on Reliability, Jg. 64 (2015-09-01), Heft 3, S. 1024-1037
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    <sc>SymbexNet</sc>: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications.
    Song, Jae ; Seung ; et al.
    In: IEEE Transactions on Software Engineering, Jg. 40 (2014-07-01), Heft 7, S. 695-709
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Volltext
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs.
    Cai, Yan ; Jia, Changjiang ; et al.
    In: IEEE Transactions on Parallel & Distributed Systems, Jg. 26 (2015), Heft 1, S. 13-23
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    The bugs in big betas. (cover story)
    Moeller, Michael ; Hammond, Mark ; et al.
    In: PC Week, Jg. 15 (1998-08-24), Heft 34, S. 1-3
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Office 10 refresh attacks bugs.
    Galli, Peter
    In: eWeek, Jg. 17 (2000-10-23), Heft 43, S. 11-12
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Hybrid Quick Error Detection: Validation and Debug of SoCs Through High-Level Synthesis.
    Campbell, Keith ; Lin, David ; et al.
    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, Jg. 38 (2019-07-01), Heft 7, S. 1345-1358
    Online academicJournal
    Zugriff:
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Model Transformation Testing and Debugging: A Survey.
    TROYA, JAVIER ; SEGURA, SERGIO ; et al.
    In: ACM Computing Surveys, Jg. 55 (2023-05-01), Heft 4, S. 1-39
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    IC-verification startup zeros in on elusive bugs.
    Goering, Richard
    In: Electronic Engineering Times (01921541), 1997-05-12, Heft 953, S. 1-2
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Test client/server apps before they bug you to death. (cover story)
    Marsh, Vivien
    In: Datamation, Jg. 41 (1995-08-01), Heft 14, S. 32-35
    serialPeriodical
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -