Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. - Daniel Schemmel; Julian Büning; César Rodríguez; David Laprell; Klaus Wehrle (CAV (1), 2020)

Artifact for the CAV 2020 Paper: Symbolic Partial-Order Execution for Testing Multi-Threaded Programs. - Daniel Schemmel; Julian Büning; César Rodríguez; David Laprell; Klaus Wehrle (Zenodo, 2020)