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

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch
Notes
In: 10.1145/3597926.3604921

Event
Veröffentlichung
(where)
Aachen
(who)
Universitätsbibliothek der RWTH Aachen
(when)
2023
Creator
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
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:46 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

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

Time of origin

  • 2023

Other Objects (12)

KLEE symbolic execution engine in 2019

KLEE symbolic execution engine in 2019

Deterministic pomsets

Deterministic pomsets

Deterministic Causation

Deterministic Causation

Deterministic chance

Deterministic chance

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.

Related objects