Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

Publications

Year:

All :: 2012, ... , 2018, 2020, 2021, ... , 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 :: Saad, ... , Scheitle, Schemmel, Scheurenberg, ... , Stüble

9.	Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, and Klaus Wehrle Symbolic Partial-Order Execution for Testing Multi-Threaded Programs Computer Aided Verification (CAV 2020) July 2020 DOI: 10.1007/978-3-030-53288-8_18 https://arxiv.org/abs/2005.06688

Export as: