Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

20 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Intraprocedural Analysis Based on Symbolic Execution for Bug Detection
    Borodin, A. E. ; Dudina, I. A.
    In: Programming and Computer Software, Jg. 47 (2021-12-01), Heft 8, S. 858-865
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Interprocedural Static Analysis for Finding Bugs in Go Programs
    Bolotnikov, I. V. ; Borodin, A. E.
    In: Programming and Computer Software, Jg. 47 (2021-09-01), Heft 5, S. 344-352
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A Formal Model for Detecting Bugs by Symbolic Execution of Programs
    Gerasimov, A. Yu. ; Kuts, D. O. ; et al.
    In: Programming and Computer Software, Jg. 46 (2020-12-01), Heft 8, S. 731-736
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Dynamic Detection of Use-After-Free Bugs
    Asryan, S. A. ; Gaissaryan, S. S. ; et al.
    In: Programming and Computer Software, Jg. 45 (2019-12-01), Heft 7, S. 365-371
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    The use of dynamic analysis for generation of input data that demonstrates critical bugs and vulnerabilities in programs
    Isaev, I. K. ; Sidorov, D. V.
    In: Programming and Computer Software, Jg. 36 (2010-07-01), Heft 4, S. 225-236
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Bug localization by constructing reduced traces
    Groshev, S. G.
    In: Programming and Computer Software, Jg. 35 (2009-05-01), Heft 3, S. 145-157
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    CASR: Analysis of Core Dump Files in Linux and Error Reporting
    Fedotov, A. N. ; Kurmangaleev, Sh. F.
    In: Programming and Computer Software, Jg. 47 (2021-12-01), Heft 8, S. 866-870
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Automata-Based Software Engineering with Event-B
    Shelekhov, V. I.
    In: Programming and Computer Software, Jg. 49 (2023-10-01), Heft 5, S. 470-483
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Dynamic Program Analysis Tools in GCC and CLANG Compilers
    V’yukova, N. I. ; Galatenko, V. A. ; et al.
    In: Programming and Computer Software, Jg. 46 (2020-07-01), Heft 4, S. 281-296
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Comparative Analysis of Two Approaches to Static Taint Analysis
    Belyaev, M. V. ; Shimchik, N. V. ; et al.
    In: Programming and Computer Software, Jg. 44 (2018-11-01), Heft 6, S. 459-466
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Database Management System Verification with Separation Logics
    Medina-Martínez, Diego ; Bárcenas, Everardo ; et al.
    In: Programming and Computer Software, Jg. 47 (2021-12-01), Heft 8, S. 654-672
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness
    Vasilyev, A. A. ; Mutilin, V. S.
    In: Programming and Computer Software, Jg. 46 (2020-12-01), Heft 8, S. 747-754
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Debugging Smart Contract’s Business Logic Using Symbolic Model Checking
    Shishkin, E.
    In: Programming and Computer Software, Jg. 45 (2019-12-01), Heft 8, S. 590-599
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Crash Processing for Selection of Unique Defects
    Niskov, F. V. ; Fedotov, A. N. ; et al.
    In: Programming and Computer Software, Jg. 44 (2018-11-01), Heft 6, S. 445-452
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation
    Gerasimov, A. Yu.
    In: Programming and Computer Software, Jg. 44 (2018-09-01), Heft 5, S. 316-323
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    SharpChecker: Static analysis tool for C# programs
    Koshelev, V. K. ; Ignatiev, V. N. ; et al.
    In: Programming and Computer Software, Jg. 43 (2017-07-01), Heft 4, S. 268-276
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Improving the performance of reverse debugging
    Klimushenkova, M. A. ; Dovgalyuk, P. M.
    In: Programming and Computer Software, Jg. 43 (2017), Heft 1, S. 60-66
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Developing a software system for automata-based code generation
    Shulga, T. E. ; Ivanov, E. A. ; et al.
    In: Programming and Computer Software, Jg. 42 (2016-04-01), Heft 3, S. 167-173
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Automated exploit generation for stack buffer overflow vulnerabilities
    Padaryan, V. A. ; Kaushan, V. V. ; et al.
    In: Programming and Computer Software, Jg. 41 (2015-11-01), Heft 6, S. 373-380
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Configurable toolset for static verification of operating systems kernel modules
    Zakharov, I. S. ; Mandrykin, M. U. ; et al.
    In: Programming and Computer Software, Jg. 41 (2015), Heft 1, S. 49-64
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -