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

Publications

Year:

All :: 2005, ... , 2019, 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

45.	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
44.	Jorge Contreras, Rudi Bekkers, Brad Biddle, Enrico Bonadio, Michael A. Carrier, Bernard Chao, Charles Duan, Richard Gilbert, Joachim Henkel, Erik Hovenkamp, Martin Husovec, Kai Jakobs, Dong-hyu Kim, Mark A. Lemley, Brian J. Love, Luke McDonagh, Fiona M. Scott Morton, Jason Schultz, Timothy Simcoe, Jennifer M. Urban, and Joy Y Xiang Preserving the Royalty-Free Standards Ecosystem European Intellectual Property Review, 45(7):371-375 July 2023 ISSN: 0142-0461 DOI: 10.2139/ssrn.4235647
43.	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: