David Laprell

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Information Flow

Top Venues

Publications

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