Symbolic Partial-Order Execution for Testing Multi-Threaded Programs.

Daniel Schemmel, Julian Bning, Csar Rodrguez, David Laprell, Klaus Wehrle

Browse the full CAV paper archive.