Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
351 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

Sprache

351 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    UBfuzz: Finding Bugs in Sanitizer Implementations
    Li, Shaohua ; Su, Zhendong
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
    Serebryany, Kostya ; Kennelly, Chris ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
    Ye, He ; Chen, Zimin ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Engineering a Formally Verified Automated Bug Finder
    Correnson, Arthur ; Steinhoefel, Dominic
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Modelling Concurrency Bugs Using Machine Learning
    Begu, Teodor Rares
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    QChecker: Detecting Bugs in Quantum Programs via Static Analysis
    Zhao, Pengzhan ; Wu, Xiongfei ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs
    Le, Quang Loc ; Sun, Jun ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    On the Bug-proneness of Structures Inspired by Functional Programming in JavaScript Projects
    Alves, Fernando ; Oliveira, Delano ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    On Distribution Shift in Learning-based Bug Detectors
    He, Jingxuan ; Beurer-Kellner, Luca ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Fix Bugs with Transformer through a Neural-Symbolic Edit Grammar
    Hu, Yaojie ; Shi, Xingjian ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    TSSB-3M: Mining single statement bugs at massive scale
    Richter, Cedric ; Wehrheim, Heike
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    A Comprehensive Study of Bug Fixes in Quantum Programs
    Luo, Junjie ; Zhao, Pengzhan ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    BinGo: Pinpointing Concurrency Bugs in Go via Binary Analysis
    Zhong, Chongxin ; Zhao, Qidong ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Bugs in Quantum Computing Platforms: An Empirical Study
    Paltenghi, Matteo ; Pradel, Michael
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Bugs4Q: A Benchmark of Real Bugs for Quantum Programs
    Zhao, Pengzhan ; Zhao, Jianjun ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection
    Zhang, Yushan ; Yao, Peisen ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Generating Bug-Fixes Using Pretrained Transformers
    Drain, Dawn ; Wu, Chen ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-Flow Analysis
    Cui, Mohan ; Chen, Chengjun ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Identifying Bug Patterns in Quantum Programs
    Zhao, Pengzhan ; Zhao, Jianjun ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
    Rahmani, Kia ; Nagar, Kartik ; et al.
    Online report
    Zugriff:
    View this record from Arxiv (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -