Home
Team
Teaching
Research
Contact
Openings
Available Theses
HiWi Calls
Research @ COMSYS
Research Vision
Publications
Books
Technical Reports
Projects
Past Projects
Research Groups
Cyber-Physical Systems
Network Architectures
Security and Privacy
Systems Analysis
Research Overview
Industrial Internet of Things
Internet Measurements
Publications
Year:
All
::
2022
All
2022
Author:
All
::
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
Ö
,
P
,
Q
,
R
,
S
,
T
,
U
,
V
,
W
,
X
,
Y
,
Z
All
::
Babazadeh
, ... ,
Bürger
,
Bursztynowski
,
Büschkes
,
Busse
B*
Babazadeh
Babich
Backhaus
Bader
Bajelidze
Bajpai
Baldus
Barford
Bauer
Bavendiek
Becher
Beckel
Becker
Benson
Bentkus
Bereda
Bergh Skriver
Bergmann
Bergs
Bettermann
Bitsch
Bitsch Link
Blind
Blöcher
Bodenbenner
Bodenhausen
Boehm
Bolke-Hermanns
Bonanati
Bormann
Bosling
Brambring
Braun
Brauner
Brecher
Breddermann
Bretgeld
Brillowski
Brockhoff
Brockmann
Bronni
Brunstrom
Buchholz
Buchmann
Buchsbaum
Buckhorst
Bührig-Polaczek
Büning
Burgdorf
Bürger
Bursztynowski
Büschkes
Busse
2022
1.
Daniel Schemmel
,
Julian Büning
,
Frank Busse
,
Martin Nowack
and
Cristian Cadar
A Deterministic Memory Allocator for Dynamic Symbolic Execution
European Conference on Object-Oriented Programming (ECOOP 2022)
June 2022
DOI:
10.4230/LIPIcs.ECOOP.2022.9
Export as:
BibTeX
,
XML
-
Impressum
|
Datenschutz
-