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

Schemmel, Daniel; Büning, Julian; Busse, Frank; Nowack, Martin; Cadar, Cristian; Pennekamp, Jan; Belova, Anastasiia; Bergs, Thomas; Bodenbenner, Matthias; Bührig-Polaczek, Andreas; Dahlmanns, Markus; Kunze, Ike; Kröger, Moritz; Geisler, Sandra; Henze, Martin; Lütticke, Daniel; Montavon, Benjamin; Niemietz, Philipp; Ortjohann, Lucia; Rudack, Maximilian; Schmitt, Robert H.; Vroomen, Uwe; Wehrle, Klaus; Zeng, Michael; Kluge-Wilkes, Aline; Baier, Ralph; Gossen, Daniel; Kunze, Ike; Müller, Aleksandra; Shahidi, Amir; Wolfschläger, Dominik; Brecher, Christian; Corves, Burkhard; Hüsing, Mathias; Nitsch, Verena; Schmitt, Robert H.; Wehrle, Klaus

doi:10.1145/3597926.3604921

Publications

Year:

All :: 2000, ... , 2020, 2021, 2022, 2023

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 :: Naab, ... , Neukirchen, Niedermayer, Niemietz, ... , Nürnberger

36.	Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023) July 2023 DOI: 10.1145/3597926.3604921
35.	Jan Pennekamp, Anastasiia Belova, Thomas Bergs, Matthias Bodenbenner, Andreas Bührig-Polaczek, Markus Dahlmanns, Ike Kunze, Moritz Kröger, Sandra Geisler, Martin Henze, Daniel Lütticke, Benjamin Montavon, Philipp Niemietz, Lucia Ortjohann, Maximilian Rudack, Robert H. Schmitt, Uwe Vroomen, Klaus Wehrle, and Michael Zeng Evolving the Digital Industrial Infrastructure for Production: Steps Taken and the Road Ahead Internet of Production: Fundamentals, Applications and Proceedings of Interdisciplinary Excellence Accelerator Series page 35-60. Publisher: Springer, February 2023 DOI: 10.1007/978-3-031-44497-5_2 ISBN: 978-3-031-44496-8
34.	Aline Kluge-Wilkes, Ralph Baier, Daniel Gossen, Ike Kunze, Aleksandra Müller, Amir Shahidi, Dominik Wolfschläger, Christian Brecher, Burkhard Corves, Mathias Hüsing, Verena Nitsch, Robert H. Schmitt, and Klaus Wehrle Modular Control and Services to Operate Line-less Mobile Assembly Systems Internet of Production: Fundamentals, Applications and Proceedings of Interdisciplinary Excellence Accelerator Series page 303-328. Publisher: Springer, February 2023 DOI: 10.1007/978-3-031-44497-5_13 ISBN: 978-3-031-44496-8

Export as:

BibTeX, XML