TY  - RPRT
TI  - Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
AU  - Daniel Schemmel
AU  - Julian Büning
AU  - César Rodríguez
AU  - David Laprell
AU  - Klaus Wehrle
PY  - 2020
DO  - 10.1007/978-3-030-53288-8_18
UR  - https://arxiv.org/abs/2005.06688
ID  - 2005.06688
ER  -