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
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 
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 -