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

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

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 Publisher: Springer, February 2023 DOI: 10.1007/978-3-030-98062-7_2-1 ISBN: 978-3-030-98062-7
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 Publisher: Springer, February 2023 DOI: 10.1007/978-3-030-98062-7_13-1 ISBN: 978-3-030-98062-7

Export as: