Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Publikation

Sprache

169 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Can More Code Mean Fewer Bugs?
    Neville-Neil, George V.
    In: Communications of the ACM, Jg. 55 (2012-12-01), Heft 12, S. 31-32
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  2. Detailansicht für Treffer 22 öffnen
    Poster: Automatically Fixing Real-World JavaScript Performance Bugs.
    Selakovic, Marija ; Pradel, Michael
    In: ICSE: International Conference on Software Engineering, 2015, S. 811-812
    Online Konferenz
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  3. Detailansicht für Treffer 23 öffnen
    Gang of Eight: A Defect Taxonomy for Infrastructure as Code Scripts.
    Rahman, Akond ; Farhana, Effat ; et al.
    In: ICSE: International Conference on Software Engineering, 2020-06-17, S. 752-764
    Online Konferenz
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  4. Detailansicht für Treffer 24 öffnen
    A Closer Look at the Security Risks in the Rust Ecosystem.
    Zheng, Xiaoye ; Wan, Zhiyuan ; et al.
    In: ACM Transactions on Software Engineering & Methodology, Jg. 33 (2024-02-01), Heft 2, S. 1-30
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  5. Detailansicht für Treffer 25 öffnen
    Practical Verification of Peephole Optimizations with Alive.
    Lopes, Nuno P. ; Menendez, David ; et al.
    In: Communications of the ACM, Jg. 61 (2018-02-01), Heft 2, S. 84-91
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  6. Detailansicht für Treffer 26 öffnen
    Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.
    ZHIQIANG, ZUO ; KAI, WANG ; et al.
    In: ACM Transactions on Computer Systems, Jg. 38 (2021-07-01), Heft 1/2, S. 1-39
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  7. Detailansicht für Treffer 27 öffnen
    Are Multi-Language Design Smells Fault-Prone? An Empirical Study.
    ABIDI, MOUNA ; RAHMAN, MD SAIDUR ; et al.
    In: ACM Transactions on Software Engineering & Methodology, Jg. 30 (2021-05-01), Heft 3, S. 1-56
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  8. Detailansicht für Treffer 28 öffnen
    CPC: Automatically Classifying and Propagating Natural Language Comments via Program Analysis.
    Zhai, Juan ; Xu, Xiangzhe ; et al.
    In: ICSE: International Conference on Software Engineering, 2020-06-17, S. 1359-1371
    Online Konferenz
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  9. Detailansicht für Treffer 29 öffnen
    Tailoring Programs for Static Analysis via Program Transformation.
    van Tonder, Rijnard ; Le Goues, Claire
    In: ICSE: International Conference on Software Engineering, 2020-06-17, S. 824-834
    Online Konferenz
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  10. Detailansicht für Treffer 30 öffnen
    A Differential Approach to Undefined Behavior Detection.
    Wang, Xi ; Zeldovich, Nickolai ; et al.
    In: Communications of the ACM, Jg. 59 (2016-03-01), Heft 3, S. 99-106
    Online serialPeriodical
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  11. Detailansicht für Treffer 31 öffnen
    Obsidian: Typestate and Assets for Safer Blockchain Programming.
    COBLENZ, MICHAEL ; OEI, REED ; et al.
    In: ACM Transactions on Programming Languages & Systems, Jg. 42 (2020-11-01), Heft 3, S. 1-82
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  12. Detailansicht für Treffer 32 öffnen
    On the Impact of Programming Languages on CodeQuality: A Reproduction Study.
    BERGER, EMERY D. ; HOLLENBECK, CELESTE ; et al.
    In: ACM Transactions on Programming Languages & Systems, Jg. 41 (2019-10-01), Heft 4, S. 1-24
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  13. Detailansicht für Treffer 33 öffnen
    Guided Feature Identification and Removal for Resource-constrained Firmware.
    WILLIAMS, RYAN ; REN, TONGWEI ; et al.
    In: ACM Transactions on Software Engineering & Methodology, Jg. 31 (2022-04-01), Heft 2, S. 1-25
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  14. Detailansicht für Treffer 34 öffnen
    Automatic Software Repair: A Bibliography.
    MONPERRUS, MARTIN
    In: ACM Computing Surveys, Jg. 51 (2019), Heft 1, S. 1-24
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  15. Detailansicht für Treffer 35 öffnen
    Fast and Precise On-the-fly Patch Validation for All.
    Chen, Lingchao ; Ouyang, Yicheng ; et al.
    In: ICSE: International Conference on Software Engineering, 2021-05-22, S. 1123-1134
    Online Konferenz
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  16. Detailansicht für Treffer 36 öffnen
    A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust.
    PEARCE, DAVID J.
    In: ACM Transactions on Programming Languages & Systems, Jg. 43 (2021-04-01), Heft 1, S. 1-73
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  17. Detailansicht für Treffer 37 öffnen
    Pipelining Bottom-up Data Flow Analysis.
    Shi, Qingkai ; Zhang, Charles
    In: ICSE: International Conference on Software Engineering, 2020-06-17, S. 835-847
    Online Konferenz
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  18. Detailansicht für Treffer 38 öffnen
    Understanding Integer Overflow in C/C++.
    DIETZ, WILL ; PENG, LI ; et al.
    In: ACM Transactions on Software Engineering & Methodology, Jg. 25 (2015-11-01), Heft 1, S. 2:1- (29S.)
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  19. Detailansicht für Treffer 39 öffnen
    Translation Validation for Stateflow to C.
    Sampath, Prahladavaradan ; Rajeev, A. C. ; et al.
    In: DAC: Annual ACM/IEEE Design Automation Conference, 2014, S. 125-130
    Online Konferenz
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  20. Detailansicht für Treffer 40 öffnen
    A Differential Approach to Undefined Behavior Detection.
    XI, WANG ; ZELDOVICH, NICKOLAI ; et al.
    In: ACM Transactions on Computer Systems, Jg. 33 (2015-03-01), Heft 1, S. 1:1- (29S.)
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -