KDAlloc : The KLEE Deterministic AllocatorDeterministic Memory Allocation during Symbolic Execution and Test Case Replay

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
In: 10.1145/3597926.3604921

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Universitätsbibliothek der RWTH Aachen
(wann)
2023
Urheber
Schemmel, Daniel
Büning, Julian
Busse, Frank
Nowack, Martin
Cadar, Cristian

DOI
10.18154/RWTH-2023-10126
URN
urn:nbn:de:101:1-2407090221521.587734179027
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:46 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Schemmel, Daniel
  • Büning, Julian
  • Busse, Frank
  • Nowack, Martin
  • Cadar, Cristian
  • Universitätsbibliothek der RWTH Aachen

Entstanden

  • 2023

Ähnliche Objekte (12)

KLEE symbolic execution engine in 2019

KLEE symbolic execution engine in 2019

Deterministic pomsets

Deterministic pomsets

Deterministic chance

Deterministic chance

Deterministic Causation

Deterministic Causation

DETERMINISTIC COMPUTABILITY

DETERMINISTIC COMPUTABILITY

Deterministic set automata

Deterministic set automata

Deterministic chaos : an introduction

Lehrbuch

Deterministic chaos : an introduction

Deterministic chaos : an introduction

Deterministic chaos : an introduction

Global optimization : deterministic approaches

Global optimization : deterministic approaches

Deterministic chaos : an introduction

Deterministic chaos : an introduction

Deterministic chaos : an Introduction

Lehrbuch

Deterministic chaos : an Introduction

Deterministic chaos : an introd.

Deterministic chaos : an introd.

Verbundene Objekte